论文部分内容阅读
SVO原逻辑不适用于证明基于证书的认证与密钥交换协议安全性问题。为此，提出2个SVO逻辑相关公理，对证书真实性与会话密钥安全性进行判断及验证，并结合Dolev—Yao安全模型，从攻击者行为能力的角度评估密码协议的安全性。经分析证明Mangipudi协议未能提供前向安全且存在假冒攻击的安全缺陷，因此给出一个在Dolev—Yao安全模型下可证明安全的解决方案。