安全协议分析的界--综合模型检查与Strand Spaces
| 外文标题 | Some Bounds on Security Protocol Analysis--Combining Model Checking and Strand Spaces |
| 文献类型 | 期刊 |
| 作者 | 刘怡文[1];李伟琴[2] |
| 机构 | [1]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系 北京100083,北京100083 [2]北京航空航天大学计算机科学与工程系,北京航空航天大学计算机科学与工程系 北京100083,北京100083 ↓ |
| 来源信息 | 年:2002卷:19期:3页码范围:288-294 |
| 期刊信息 | 中国科学院研究生院学报ISSN:1002-1175 |
| 关键词 | 安全协议分析,模型检查,Strand Spaces,定理证明 |
| 摘要 | Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与Strand Spaces二者的优势. |
| 收录情况 | CSCD |
| 所属部门 | 计算机学院 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_zgkxyyjsyxb200203011.aspx |
| DOI | 10.3969/j.issn.1002-1175.2002.03.011 |
| 人气指数 | 2 |
| 浏览次数 | 2 |
全文
影响因子：
dc:title:安全协议分析的界--综合模型检查与Strand Spaces
dc:creator:刘怡文;李伟琴
dc:date: publishDate:2002-09-30
dc:type:期刊
dc:format: Media：中国科学院研究生院学报
dc:identifier: LnterrelatedLiterature：中国科学院研究生院学报.2002,19(3),288-294.
dc:identifier:DOI：10.3969/j.issn.1002-1175.2002.03.011
dc: identifier:ISBN:1002-1175
