串空间模型中的口令猜测攻击

• 作者: 李祥 罗文俊 袁超伟 龙士工
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 安全协议 猜测攻击 串空间 诚实理想
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 论文
• 页码范围: 62-65
• 页数: 4页
• 分类号: TN929.53
• 字数: 4196字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2007.01.014

摘要

给出了鉴别协议猜测攻击的串空间模型.扩充了攻击者串和密码运算类型,重新定义了理想概念,并证明了相关定理.扩展的诚实理想分析模型不仅继承了原理论的有关性质,而且适应猜测攻击的分析.以GLNS协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁超伟	北京邮电大学通信网络综合技术研究所	83	578	12.0	21.0
2	罗文俊	贵州大学计算机软件与理论研究所	34	192	8.0	12.0
3	李祥	贵州大学计算机软件与理论研究所	91	551	13.0	19.0
4	龙士工	贵州大学计算机软件与理论研究所	39	110	5.0	9.0