| 安全协议及其形式化分析研究 |
| |
| 引用本文： | 常亮,古天龙.安全协议及其形式化分析研究[J].桂林电子工业学院学报,2006,26(4):239-245. |
| |
| 作者姓名： | 常亮 古天龙 |
| |
| 作者单位： | [1]桂林电子科技大学计算机系,广西桂林541004 [2]中国科学院计算技术研究所,北京100080 |
| |
| 摘 要： | 安全协议是网络安全的重要基础，形式化分析是保证安全协议具备相应安全性质的有效途径。通过对安全协议进行分类，阐述了各类协议所应具备的安全性质；并基于安全协议进行形式化分析时所作的各种假设，综述和分析了三类典型的安全协议形式化方法，给出了安全协议形式化分析研究的发展趋势。
|
| 关 键 词： | 安全协议 安全性质 形式化方法 协议工程 |
| 文章编号： | 1001-7437（2006）04-0239-07 |
| 收稿时间： | 2006-06-05 |
Review of security protocols and their formal analysis |
| |
| CHANG Liang , GU Tian-long.Review of security protocols and their formal analysis[J].Journal of Guilin Institute of Electronic Technology,2006,26(4):239-245. |
| |
| Authors: | CHANG Liang GU Tian-long |
| |
| Affiliation: | 1. Dept. of Computer Science, Gnilin University of Electronic Technology, Gnilin 541004, China 2.. Institute of Computing Technology,Chinese Academy of Seiences,Beijing 100080,China |
| |
| Abstract: | Security protocols are the key foundation for network security. Formal analysis is an effective way to guarantee the properties of a security protocol and has been attracting more and more attention. In this paper, security protocols and the status of its formal analysis are reviewed. A classification of security protocols is presented; the corresponding security properties for each kind of protocols are listed. General assumptions adopted in the formal analysis of security protocol are summarized and three classes of formal analysis methods are illustrated in details. Finally, future research topics for the formal analysis of security protocols are discussed. |
| |
| Keywords: | security protocol security property formal method protocol engineering |
| 本文献已被 维普 等数据库收录！ |
