安全协议分析的界--综合模型检查与Strand Spaces

• 作者: 刘怡文 李伟琴
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 安全协议分析,模型检查,Strand Spaces,定理证明
• 年，卷（期）: 2002,（3）
• 页码范围: 288-294
• 页数: 7页
• 分类号: TP309
• 字数: 1121字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2002.03.011

摘要

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与Strand Spaces二者的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘怡文	北京航空航天大学计算机科学与工程系	7	84	4.0	7.0
2	李伟琴	北京航空航天大学计算机科学与工程系	37	324	9.0	17.0