公开密钥鉴别协议的安全性分析

本文以IEO建议的对等实体鉴别协议为基础,给出了使用HASH函数压缩报文的签名变换的形式。对印章协议模型做了适当地扩充,得到了一种称为签名协议的新的协议形式化模型及其安全性的形式定义,证明了一个鉴别协议的安全性,包括机密性和可鉴别性。最后,本文分析了ISO建议的对等实体鉴别协议的安全性及影响协议安全性的一些因素。