一种新型的安全协议分析逻辑  

A New Logic for the Analysis of Secure Protocols

作　　者：石曙东[1] 李之棠[1] 

机构地区：[1]华中科技大学计算机学院

出　　处：《小型微型计算机系统》2004年第12期2182-2185,共4页Journal of Chinese Computer Systems

基　　金：国家 8 63课题 ( 863 -3 0 1-0 6-1)资助;湖北省教育厅重点项目 ( 2 0 0 4D0 0 4)资助

摘　　要：提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 。Proposed a new framework is for the analysis of secure protocols. Comparing to the framework proposed by Kailar, it has some improvements. Firstly, it can analyze accountability of protocols . Secondly, it can analyze fairness of protocols efficiently. At last, by introducing the cipher text understanding rule the new framework can analyze the message that includes signed cipher text.

关 键 词：KAILAR逻辑 电子商务 协议 协议分析 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]