一种形式化分析安全协议的新模型

• 作者: 慕建君
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全协议 形式化分析 串空间模型 入侵者串
• 年，卷（期）: 2006,（3）
• 页码范围: 381-385
• 页数: 5页
• 分类号: TP309
• 字数: 4391字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2006.03.009

摘要

串空间是安全协议形式化分析的一种新模型.利用次序关系的理论证明了借助串空间模型进行安全协议形式化分析的一个重要结论.通过构造入侵者串的方法,针对Woo-Lam协议提出了一个入侵者串空间模型,同时利用此入侵者串空间模型分析了该协议存在的缺陷,说明了改进后的Woo-Lam协议可克服此缺陷.与现有安全协议形式化分析方法相比较,串空间模型不仅具有简洁直观的优点,而且还可避免状态空间爆炸的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	慕建君	西安电子科技大学计算机学院	34	249	6.0	15.0