基于PMI的SSL协议改进设计及形式化分析

• 作者: 余胜生 周敬利 夏涛 曹相敏
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 安全套接字 授权管理基础设施 BAN逻辑 属性证书
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 10-11,88
• 页数: 3页
• 分类号: TP309
• 字数: 2896字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2005.06.004

摘要

针对基于SSL的安全通信模型中SSL握手协议部分在访问控制方面的缺陷,本文提出了一个基于PMI的安全解决方案,并对改进设计进行了分析和BAN逻辑证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余胜生	华中科技大学计算机科学与技术学院	229	2241	22.0	34.0
2	夏涛	华中科技大学计算机科学与技术学院	63	611	14.0	21.0
3	周敬利	华中科技大学计算机科学与技术学院	248	2424	23.0	36.0
4	曹相敏	华中科技大学计算机科学与技术学院	1	5	1.0	1.0