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

New Logic for Analyzing Security Protocols

作　　者：刘英杰[1] 姚正安[1] 

机构地区：[1]中山大学数学与计算科学学院,广州510275

出　　处：《计算机工程》2007年第23期163-166,共4页Computer Engineering

摘　　要：提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析,不需要协议理想化,避免了因理想化而导致的各类问题。能够有效地分析电子商务协议的可追究性和公平性,用于分析实用协议。分析过程简单直观,便于实现机器自动验证。This paper presents a new logic which can be used to analyze security protocols. There is no necessity to idealize protocols when analyzing authentication protocols, which can avoid analysis errors caused by informal idealization. The new logic can be used to analyze accountability and fairness in electronic commerce protocols including the real-world protocols. The process of analyzing protocols is concise and can be implemented automatically.

关 键 词：安全协议 逻辑 可追究性 公平性 自动验证 

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