论文部分内容阅读
Kao Chow加密协议是由Kao和Chow提出的，他们利用BAN逻辑证明了该协议的认证性，但没有证明该协议的保密性，而且没有说明协议参与实体间得到的新会话密钥是否一致．事实上，由于BAN逻辑自身的缺陷，它无法用于证明加密协议的保密性．基于此，给出了Kao Chow加密协议的串空间模型，这个模型不仅验证了该协议的认证性，还验证了它的保密性及新会话密钥的一致性．