摘要
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对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~~