论文部分内容阅读
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。
CCITT X.509协议的形式化分析及其改进
【摘 要】
：
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。
【机 构】
：
湖北师范学院数学与统计学院,湖北师范学院计算机科学与技术学院
【出 处】
：
计算机安全
【发表日期】
：
2012年06期
【基金项目】
：
湖北省自然科学基金NO.2006ABA056, 湖北省教育厅重点项目NO.D20092203,湖北省教育厅青年项目NO.Q20102503
其他文献