| 一种分析安全协议的新逻辑 |
| |
| 引用本文： | 刘英杰,姚正安.一种分析安全协议的新逻辑[J].计算机工程,2007,33(23):163-166. |
| |
| 作者姓名： | 刘英杰 姚正安 |
| |
| 作者单位： | 中山大学数学与计算科学学院,广州510275 |
| |
| 摘 要： | 提出了一种分析安全协议的新逻辑，既能有效地分析认证协议的认证性，又能分析电子商务协议的可追究性和公平性。该方法对认证协议的分析，不需要协议理想化，避免了因理想化而导致的各类问题。能够有效地分析电子商务协议的可追究性和公平性，用于分析实用协议。分析过程简单直观，便于实现机器自动验证。
|
| 关 键 词： | 安全协议 逻辑 可追究性 公平性 自动验证 |
| 文章编号： | 1000-3428（2007）23-0163-04 |
| 收稿时间： | 2007-01-25 |
| 修稿时间： | 2007年1月25日 |
New Logic for Analyzing Security Protocols |
| |
| LIU Ying-jie,YAO Zheng-an.New Logic for Analyzing Security Protocols[J].Computer Engineering,2007,33(23):163-166. |
| |
| Authors: | LIU Ying-jie YAO Zheng-an |
| |
| Affiliation: | (School of Mathematics & Computational Science, Sun Yat-sen University, Guangzhou 510275) |
| |
| 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. |
| |
| Keywords: | security protocols logic accountability fairness automatic verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
