| 安全协议形式化分析方法 |
| |
| 引用本文： | 韩继红,郭渊博,王亚弟.安全协议形式化分析方法[J].信息工程大学学报,2008,9(3). |
| |
| 作者姓名： | 韩继红 郭渊博 王亚弟 |
| |
| 作者单位： | 信息工程大学,电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述,并指出了今后该领域的研究方向。
|
| 关 键 词： | 安全协议 形式化方法 逻辑 模型检测 证明 |
On Methods and Techniques for Formal Analysis of Security Protocols |
| |
| HAN Ji hong,GUO Yuan bo,WANG Ya di.On Methods and Techniques for Formal Analysis of Security Protocols[J].Journal of Information Engineering University,2008,9(3). |
| |
| Authors: | HAN Ji hong GUO Yuan bo WANG Ya di |
| |
| Affiliation: | Institute of Electronic Technology, Information Engineering University, Zhengzhou 450004 |
| |
| Abstract: | Formal analysis of security protocols is the necessary measure for proof-testing of protocol security properties.In order to implement the specification of protocols and verification of security properties soundly and completely,many mathematical theories and artificial intelligence approaches are brought into the security protocols' formal analysis and automatic verification fields.In this paper,a survey in formal analysis methods for security protocols is presented,including logic-based,model checking based and proof-based,several research directions are pointed out in the end. |
| |
| Keywords: | security protocol formal method logic model checking proof |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 |
|
点击此处可从《信息工程大学学报》下载全文 |
|
