论文部分内容阅读
针对基于SSL的安全通信模型中SSL握手协议部分在访问控制方面的缺陷,本文提出了一个基于PMI的安全解决方案,并对改进设计进行了分析和BAN逻辑证明.
基于PMI的SSL协议改进设计及形式化分析
【摘 要】
：
针对基于SSL的安全通信模型中SSL握手协议部分在访问控制方面的缺陷,本文提出了一个基于PMI的安全解决方案,并对改进设计进行了分析和BAN逻辑证明.
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2005年6期
其他文献
何首乌 宋代《开宝本草》称之“久服长筋骨，益精髓，延年不老”。现代研究发现，何首乌能促进神经细胞的生长，对神经衰弱及其他神经系统疾病有辅助治疗作用，并可调节血清胆固醇，降低血糖，提高肝细胞转化和代谢胆固醇的能力，还具有良好的抗氧化作用。 首乌雌鸡 原料：雌鸡500克，何首乌50克，笋丁50克，料酒、盐、酱油、味精、淀粉、花生油各适量。 制作：将何首乌放入砂锅，加适量水煮好，滤汁备用；鸡肉洗净，