• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2005, Vol. 27 ›› Issue (6): 10-11.

• 论文 • 上一篇    下一篇

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

余胜生 曹相敏 周敬利 夏涛   

  • 出版日期:2005-06-01 发布日期:2010-07-03

  • Online:2005-06-01 Published:2010-07-03

摘要:

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

关键词: 安全套接字 授权管理基础设施 BAN逻辑 属性证书