基于理想的协议安全性分析
1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.利用理想的结构来分析协议的一些安全性质,例如保密性、认证性、零知识性以及如何抵抗猜测攻击.
串空间、密码协议、理想
16
TP309(计算技术、计算机技术)
中国科学院资助项目60373048;90204016;国家科技攻关项目863-317-01-04-99;2003AAl44030;科技部科研项目2004CB318004
2006-01-12(万方平台首次上网日期,不代表论文的发表时间)
共7页
2150-2156