基于理想的协议安全性分析

摘要：

1998年Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.文献”1”中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.本文中我们将利用理想的结构来分析协议的一些安全性质,例如保密性,认证性,零知识性,以及如何抵抗猜测攻击.

关键词： 串空间 密码协议 理想 协议认证性

作者: 孙海波 林东岱 李莉

作者单位: 中科院软件所信息安全国家重点实验室(北京) 武汉大学计算机学院(武汉大学)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 241-246

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）