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

作者：余胜生; 曹相敏; 周敬利; 夏涛

来源：计算机工程与科学, 2005, (06): 10-11+88.

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

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

• 单位
  华中科技大学