串空间理论在网络安全协议形式化分析中应用

• 作者: 孙海波 林东岱 黄寄洪
• 来源期刊: 大连理工大学学报
• 学科: 工学
• 关键词: 串空间 安全协议 网络
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 网络通信与数据安全
• 页码范围: 5-8
• 页数: 4页
• 分类号: TP309
• 字数: 3953字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-8608.2003.z1.002

摘要

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.同时由于安全要求的多样化以及攻击方式的层出不穷使得对于网络安全协议的形式化分析的效率和准确性提出了更高的要求.原有的形式化分析方法通常不可避免地出现状态空间爆炸问题,这使得对于日益增长的网络通信规模下的复杂协议的分析变得十分困难.串空间理论(strand space theory)的出现提供了避免状态爆炸问题、提高协议形式化分析效率的有效方法.用几个简单协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林东岱	中国科学院软件所信息安全国家重点实验室	38	152	7.0	10.0
2	孙海波	中国科学院软件所信息安全国家重点实验室	4	11	3.0	3.0
3	黄寄洪	中国科学院软件所信息安全国家重点实验室	3	24	2.0	3.0