基于Rubin逻辑的SSL协议安全性分析  

Security Analysis of SSL Protocol Based on Rubin Logic

作　　者：徐洋[1,2] 谢晓尧[2,3] 汪学明[1] 

机构地区：[1]贵州大学计算机科学与技术学院,550025 [2]贵州省信息与计算科学重点实验室,550001 [3]贵州师范大学网络中心,550001

出　　处：《微计算机信息》2008年第30期71-73,共3页Control & Automation

基　　金：贵州省自然科学基金资助项目;贵州省科技厅(IPv6互连网络的TCP/IP安全性研究20052105);贵州省高新技术产业发展专项资金资助项目;贵州省发改委(贵州省高速公路桥梁安全监测健康系统的实现及应用2005643;CNGI驻地网研究与建设2006815)

摘　　要：SSL协议是一个应用于互联网上的安全协议,使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的会话模式进行了分析,证明了该模式下可以建立新的安全连接。我们还发现了协议中存在的一些问题。通过分析表明,利用Rubin逻辑分析非单调的安全协议是一种可行的方法。SSL protocol is a security protocol used on the Interact. It is difficultly analyzed based on BAN genus logic. In this paper, a mode resuming a previous session in SSL protocol has been analyzed based on Rubin logic, and the goal establishing a new security connection can be proved. Certain problems are found to do exist in SSL. The analysis proves that Rubin Logic is a viable technique for analyzing nonmonotonic security protocols.

关 键 词：SSL协议 Rubin逻辑 非单调 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]