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

作者：孙海波; 林东岱; 李莉

来源：软件学报, 2005, (12): 2150-2156.

• 串空间
• 密码协议
• 理想 strand space
• cryptographic protocol
• ideal

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

• 单位
  中国科学院研究生院; 中国科学院软件研究所; 武汉大学; 信息安全国家重点实验室