理想在协议分析中的进一步应用
串空间理论自提出后成为了一种重要的协议形式化分析方法。由于理想结构的特殊性使得Guttman等人在文献”1”中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性。 本文中我们将对于理想在分析其他协议安全性方面进行进一步的研究。我们的研究主要集中于认证性、零知识性、前向安全性以及如何抵抗猜测攻击。
串空间理论 理想结构 协议分析 认证性 零知识性 前向安全性
孙海波 林东岱 李莉
中国科学院软件所信息安全国家重点实验室,中国北京,100080;武汉大学计算机学院武汉大学1235＃信箱,中国武汉,430072
国内会议
上海
中文
307-314
2004-03-01（万方平台首次上网日期，不代表论文的发表时间）