基于串空间的认证协议分析

• 作者: 刘培 周明天
• 来源期刊: 实验科学与技术
• 学科: 工学
• 关键词: 安全协议 认证协议 形式化分析 串空间模型
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 计算机及网络技术应用
• 页码范围: 29-32
• 页数: 4页
• 分类号: TN393.04
• 字数: 4029字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-4550.2005.03.010

摘要

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.由于安全要求的多样化以及攻击方式的层出不穷,使得对网络安全协议的形式化分析效率和准确性提出了更高的要求.串空间理论(strand space theory)和模型是当前避免状态爆炸、提高协议形式化分析效率的有效方法.本文通过一个具体的认证协议例子来说明它的特点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天		315	3725	27.0	49.0
2	刘培		2	29	1.0	2.0