| 基于Rubin逻辑的SSL协议安全性分析 |
| |
| 引用本文： | 徐洋,谢晓尧,汪学明.基于Rubin逻辑的SSL协议安全性分析[J].微计算机信息,2008,24(30). |
| |
| 作者姓名： | 徐洋 谢晓尧 汪学明 |
| |
| 基金项目： | 贵州省自然科学基金资助项目;贵州省科技厅，贵州省高新技术产业发展专项资金资助项目;贵州省发改委 |
| |
| 摘 要： | SSL协议是一个应用于互联网上的安全协议,使用传统的BAN类逻辑分析该协议有很大困难.本文用Rubin逻辑对SSL协议中恢复一个已存在的会话模式进行了分析,证明了该模式下可以建立新的安全连接.我们还发现了协议中存在的一些问题.通过分析表明,利用Rubin逻辑分析非单调的安全协议是一种可行的方法.
|
| 关 键 词： | SSL协议 Rubin逻辑 非单调 |
Security Analysis of SSL Protocol Based on Rubin Logic |
| |
| XU Yang,XIE Xiao-yao,WANG Xue-ming.Security Analysis of SSL Protocol Based on Rubin Logic[J].Control & Automation,2008,24(30). |
| |
| Authors: | XU Yang XIE Xiao-yao WANG Xue-ming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
