| CCITT X.509协议的形式化分析及其改进 |
| |
| 引用本文： | 解颜铭,石曙东,翁艳琴.CCITT X.509协议的形式化分析及其改进[J].计算机安全,2012(6):50-53. |
| |
| 作者姓名： | 解颜铭 石曙东 翁艳琴 |
| |
| 作者单位： | 1. 湖北师范学院数学与统计学院,湖北黄石435000;湖北师范学院计算机科学与技术学院,湖北黄石435000
2. 湖北师范学院计算机科学与技术学院,湖北黄石,435000 |
| |
| 基金项目： | 湖北省自然科学基金，湖北省教育厅重点项目，湖北省教育厅青年项目 |
| |
| 摘 要： | 串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。
|
| 关 键 词： | 安全协议 CCITT X.509协议 串空间模型 认证测试 |
Formal Analysis and Improvement of CCITT X.509 Protocol |
| |
| XIE Yan-ming
,
SHI Shu-dong
,
WENG Yan-qin.Formal Analysis and Improvement of CCITT X.509 Protocol[J].Network & Computer Security,2012(6):50-53. |
| |
| Authors: | XIE Yan-ming SHI Shu-dong WENG Yan-qin |
| |
| Affiliation: | 1,2(1.Institute of Mathematics and statistical,Hubei Normal University,Huangshi,Hubei 435000,China; 2.Institute of Institute of Computer Science and Technology,Hubei Nomal University,Huangshi,Hubei 435000,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | security protocol CCITT X 509 protocol strand space model authentication test |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
