串空间模型的原理与应用

doi:10.3724/SP.J.1087.2005.01747

计算机应用 ›› 2005, Vol. 25 ›› Issue (08): 1747-1749.DOI: 10.3724/SP.J.1087.2005.01747

串空间模型的原理与应用

谭立力^1,4，刘璟^2,3，谢鸿波³，谭兴烈 ⁴

1.卫士通信息产业股份有限公司； 2.现代通信国家重点实验室； 3.电子科技大学计算机科学与工程学院； 4.电子第三十研究所

发布日期:2011-04-07 出版日期:2005-08-01
基金资助:
现代通信国家重点实验室基金资助项目(51436040305DZ4001);;国家重点基础研究发展规划资助项目(G1999035803)

Theory and application of strand spaces model

TAN Li-li^1,4,LIU Jing^2,3,XIE Hong-bo³,TAN Xing-lie⁴

1.Westone Information Industry INC,Chengdu Sichuan 610041,China; 2.National Key Laboratory for Modern Communications,Chengdu Sichuan 610041,China; 3.School of Computer Scicence and Engineering,University of Electronic Science and Technology of China,Chengdu Sichuan 610054,China; 4.No.30th Institute of CETC,Chengdu Sichuan 610041,China

Online:2011-04-07 Published:2005-08-01

摘要/Abstract

摘要： 介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。

关键词: 密码协议, 串空间, CCITTX.509协议

Abstract: The basic notion of strand spaces model was introduced, then a equivalence formula checking secrecy of messages was given, and it was proven that a signed message by a confidential private key had its origin in a honest strand. Finally these two conclusions were used to check BAN modified version of CCITT X.509(3) protocol.

Key words: cryptographic protocol, strand spaces, CCITT X.509 protocol

中图分类号:

TP309

谭立力，刘璟，谢鸿波，谭兴烈. 串空间模型的原理与应用[J]. 计算机应用, 2005, 25(08): 1747-1749.

TAN Li-li,LIU Jing,XIE Hong-bo,TAN Xing-lie. Theory and application of strand spaces model[J]. Journal of Computer Applications, 2005, 25(08): 1747-1749.

[1]	肖跃雷, 邓小凡. 基于证书的有线局域网安全关联方案改进与分析[J]. 计算机应用, 2021, 41(7): 1970-1976.
[2]	朱玉娜, 张玉涛, 闫少阁, 范钰丹, 陈韩托. 基于半监督子空间聚类的协议识别方法[J]. 计算机应用, 2021, 41(10): 2900-2904.
[3]	肖跃雷, 武君胜, 朱志祥. 基于预共享密钥的LAN安全关联方案改进与分析[J]. 计算机应用, 2018, 38(11): 3246-3251.
[4]	刘家芬. 基于串空间理论的安全协议自动验证[J]. 计算机应用, 2015, 35(7): 1870-1876.
[5]	周星刘军董春冻张玉静. 对辅助定位按需路由协议的安全性改进[J]. 计算机应用, 2013, 33(06): 1619-1629.
[6]	张妤阴建强胡杰. 通用可组合安全计算的信任模型研究[J]. 计算机应用, 2012, 32(05): 1371-1374.
[7]	田树华陈立佳李建茹. 基于Offline-TTP的电子支付协议公平性分析[J]. 计算机应用, 2009, 29(07): 1839-1843.
[8]	吴开贵徐成廖振岚. IEEE 802.11i 协议的形式化分析[J]. 计算机应用, 2008, 28(5): 1125-1127.
[9]	方燕萍章晓芳张广泉. 串空间模型及其认证测试方法的一种扩展与应用[J]. 计算机应用, 2008, 28(12): 3205-3207.
[10]	赵宇王亚弟韩继红范钰丹赵琦. 一种基于问题求解理论的密码协议形式模型[J]. 计算机应用, 2007, 27(2): 303-307.
[11]	赵宇袁霖王亚弟韩继红 . 一种改进的Woo-Lam密码协议模型[J]. 计算机应用, 2006, 26(9): 2116-2120.
[12]	文静华; 张梅; 李祥. 一种新的密码协议分析方法及其应用[J]. 计算机应用, 2006, 26(5): 1087-1089.
[13]	宁小军，黄刘生，周智. 一种自动密码协议分析方法[J]. 计算机应用, 2005, 25(09): 2089-2091.
[14]	龙士工，王巧丽，李祥. 密码协议的Promela语言建模及分析[J]. 计算机应用, 2005, 25(07): 1548-1550.
[15]	龙士工，罗文俊，李祥. 密码协议的符号模型检测及分析[J]. 计算机应用, 2005, 25(01): 138-140.

串空间模型的原理与应用

Theory and application of strand spaces model

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics