论文部分内容阅读
目前,解决网络安全问题通常都使用现代密码技术,确切地说,是使用各种密码协议来保证网络的安全。但是人们发现,密码协议本身可能存在安全漏洞。1990年,由Michael Burrows、Martin Abadi和Roger Needham在《A Logic ofAuthentication》一文中提出了一种分析密码协议安全性的逻