| 一种新的安全协议形式化分析方法——证据逻辑 |
| |
| 引用本文： | 陆阳,肖军模,刘晶.一种新的安全协议形式化分析方法——证据逻辑[J].计算机工程,2008,34(2):92-94. |
| |
| 作者姓名： | 陆阳 肖军模 刘晶 |
| |
| 作者单位： | 1. 解放军理工大学通信工程学院电子信息工程系,南京,210007;河海大学计算机及信息工程学院,南京,210098
2. 解放军理工大学通信工程学院电子信息工程系,南京,210007 |
| |
| 摘 要： | 形式化分析技术对于安全协议的正确设计至关重要，考虑到现有信仰逻辑分析方法的不足，该文提出一种新的安全协议形式化分析方法——证据逻辑，即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比，该方法不仅能够用于认证协议、密钥协商(交换)协议的分析，也能用于电子商务协议的不可否认性和公平性的分析，因此具有更好的通用性和更强的协议分析能力。
|
| 关 键 词： | 安全协议 形式化分析 证据逻辑 |
| 文章编号： | 1000-3428（2008）02-0092-03 |
| 收稿时间： | 2007-01-20 |
| 修稿时间： | 2007年1月20日 |
New Formal Analysis Method for Security Protocols——Proof Logic |
| |
| LU Yang,XIAO Jun-mo,LIU Jing.New Formal Analysis Method for Security Protocols——Proof Logic[J].Computer Engineering,2008,34(2):92-94. |
| |
| Authors: | LU Yang XIAO Jun-mo LIU Jing |
| |
| Affiliation: | (1. Institute of Communication Engineering, PLA Univ. of Sci. & Tech., Nanjing 210007;2. College of Computer and Information Engineering, Hohai University, Nanjing 210098) |
| |
| Abstract: | The formal analysis methods are very important to the accurate design of the security protocols, This paper introduces a new logic-based formal method called proof logic which analyzes the security protocols by reasoning about the proofs of the principles. Compared with the existing work, proof logic, which can be used to analyze the authentication protocols, the key exchange protocols and the non-repudiation protocols have more analysis power for the security protocol. |
| |
| Keywords: | security protocol formal analysis proof logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
