公开密钥协议的可靠性研究

公开钥密码体制在网络通信安全中的作用越来越受到广泛的重视，但是一个设计不完善的通信协议可使得一个“主动”的入侵者不需击皮密码体制就可明文或进行破坏。论文首先给出协议的形式化描述，然后讨论了协议的安全性，可鉴别性和可验证性。