基于Strand Space模型的CCITT X.509协议分析

• 作者: 李建华 潘理 蒋睿
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: Strand Space模型 安全协议 形式化方法 CCITT X.509
• 年，卷（期）: 2004,（z1）
• 页码范围: 169-173
• 页数: 5页
• 分类号: TP393
• 字数: 4236字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2004.z1.041

摘要

运用前沿的安全协议形式化分析方法--Strand Space模型理论,对CCITT X.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用Strand Space模型论证了改进协议的保密性和认证正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘理	上海交通大学电子工程系	57	308	10.0	14.0
2	李建华	上海交通大学电子工程系	336	2966	25.0	36.0
3	蒋睿	上海交通大学电子工程系	4	43	4.0	4.0