作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2008, Vol. 34 ›› Issue (2): 92-94. doi: 10.3969/j.issn.1000-3428.2008.02.030

• 安全技术 • 上一篇    下一篇

一种新的安全协议形式化分析方法——证据逻辑

陆 阳1,2,肖军模1,刘 晶1   

  1. (1. 解放军理工大学通信工程学院电子信息工程系,南京 210007;2. 河海大学计算机及信息工程学院,南京 210098)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-01-20 发布日期:2008-01-20

New Formal Analysis Method for Security Protocols——Proof Logic

LU Yang1,2, XIAO Jun-mo1, LIU Jing1   

  1. (1. Institute of Communication Engineering, PLA Univ. of Sci. & Tech., Nanjing 210007;2. College of Computer and Information Engineering, Hohai University, Nanjing 210098)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-01-20 Published:2008-01-20

摘要:

形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,该文提出一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比,该方法不仅能够用于认证协议、密钥协商(交换)协议的分析,也能用于电子商务协议的不可否认性和公平性的分析,因此具有更好的通用性和更强的协议分析能力。

关键词: 安全协议, 形式化分析, 证据逻辑

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.

Key words: security protocol, formal analysis, proof logic

中图分类号: