| 安全协议形式化分析理论与方法研究综述 |
| |
| 作者姓名： | 冯登国 范红 |
| |
| 作者单位： | 中国科学院软件研究所 北京100080 |
| |
| 基金项目： | 国家重点基础研究发展规划项目 (G1999035802);国家杰出青年科学基金项目 (60025205,60273027)资助 |
| |
| 摘 要： | 综述目前安全协议形式化分析的理论与方法,包括安全协议的分类与模型,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法,基于攻击的结构性方法,基于证明的结构性方法 ),安全协议分析的形式化语言,安全协议设计的形式化方法,以及安全协议形式化分析面临的挑战.
|
| 关 键 词： | 安全协议 安全模型 形式化分析 形式化语言 |
| 收稿时间： | 2003-05-29 |
Survey on Theories and Methods of Formal Analyses for Security Protocols |
| |
| Authors: | Feng Dengguo Fan Hong |
| |
| Institution: | Institute of Software,Chinese Academy of Sciences,Beijing,100080,China |
| |
| Abstract: | Theories and methods of formal analyses for security protocol are surveyed.A classfication and a system model of formal analyses is given, and three classes of formal analy sis methods(based on reasoning,based on attack, based on proof)and fo rmal languages used in formal analyses are commented in details.Also disscussed is a new challenge the methods of security pro tocol formal analy sis are facing. Corresponding comments on these theories and methods are also given during the discussion.Challenges formal analyses face are also proposed. |
| |
| Keywords: | security protocol security model formal analysis formal language |
|
| 点击此处可从《》浏览原始摘要信息 |
| 点击此处可从《》下载免费的PDF全文 |
|
