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

• 作者: 孙海波 李莉 林东岱
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 串空间 密码协议 理想
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 2150-2156
• 页数: 7页
• 分类号: TP309
• 字数: 7158字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李莉	武汉大学计算机学院	107	730	14.0	22.0