本文探讨了在密码协议的分析过程中,引入形式化方法的必然性。...

Model checking can aid the design,analysis,and verification of the cryptographic protocols used over open networks and d......

提出了一种简单的,更适合于自动化操作的密码协议分析方法.通过进一步分析攻击者的计算能力,形成一个有效的自动推理系统.攻击者为......

基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全......

逻辑方法是密码协议分析中具有代表性的形式化方法。从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码......