期刊文献+

CCITT X.509协议的形式化分析及其改进 被引量:1

Formal Analysis and Improvement of CCITT X.509 Protocol
下载PDF
导出
摘要 串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。 Strand space model is a new cryptographic protocol analysis tool,certification test method which is based on strand space model is a more commonly used method.This article provides an overview of the strand space model theory,and certification testing theory based on strand space model.And we use this theory to formally analyze the CCITT X.509 protocol.We find that this protocol has flaws,and we improve it.
出处 《计算机安全》 2012年第6期50-53,共4页 Network & Computer Security
基金 湖北省自然科学基金NO.2006ABA056 湖北省教育厅重点项目NO.D20092203 湖北省教育厅青年项目NO.Q20102503~~
关键词 安全协议 CCITT X.509协议 串空间模型 认证测试 security protocol; CCITT X.509 protocol; strand space model; authentication test;
  • 引文网络
  • 相关文献

参考文献5

二级参考文献3

  • 1Fabrega FJT, Herzog JC, Guttman JD. Strand spaces: Why is a security protocol correct? [C] // Proceeding of the 1998 IEEE Symposium on Security and Privacy. Los Alamitos: IEEE Computer Press, 1995: 160-171.
  • 2Fabrega FJT, Herzog JC, Guttman JD. Strand spaces: Proving security protocols correct [J] . Journal of Computer Security, 1999, 7 (2-3) : 191-230.
  • 3李廷元 秦志光 刘晓东 张选芳.基于认证测试方法的Woo-Lam协议的分析及改进.计算机科学,2009,36(4):206-218.

同被引文献6

引证文献1

;
使用帮助 返回顶部