摘要： 提出了一种分析安全协议的新逻辑，既能有效地分析认证协议的认证性，又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析，不需要协议理想化，避免了因理想化而导致的各类问题。能够有效地分析电子商务协议的可追究性和公平性，用于分析实用协议。分析过程简单直观，便于实现机器自动验证。

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

Abstract: 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.

Key words: security protocols, logic, accountability, fairness, automatic verification

中图分类号: 

• TP309