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

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

单位：华中科技大学计算机科学与技术学院; 湖北; 武汉; 430074