卿斯汉.安全协议的设计与逻辑分析.软件学报,2003,14(7):1300-1309 |
安全协议的设计与逻辑分析 |
Design and Logical Analysis of Security Protocols |
投稿时间:2003-01-23 修订日期:2003-01-23 |
DOI: |
中文关键词: 安全协议 设计 逻辑分析 BAN类逻辑 串空间 |
英文关键词:security protocol design logical analysis BAN-like logic strand space |
基金项目:(Supported by the National Natural Science Foundation of China under Grant No.60083007 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.G1999035810 (国家重点基础研究发展规划(973)) |
|
摘要点击次数: 6980 |
全文下载次数: 5334 |
中文摘要: |
随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性. |
英文摘要: |
With the rapid growth of network applications, network security has become an important issue. In this paper, the following issues are investigated: the design principles of security protocols, the use of formal methods in the design of security protocols, the characteristics of various approaches to formal analysis, in particular logical analysis. The strand space approach to logical analysis, and the possibility of the strand space model guiding the formal design of security protocols are also explored. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |