收稿日期: 2002-06-06
网络出版日期: 2002-05-18
基金资助
973基金资助项目（G1999035802）;国家杰出青年科学基金资助项目（60025205）
A Mixed Formal Analysis Technology of Security Protocols
Received date: 2002-06-06
Online published: 2002-05-18
范红 , 冯登国 . 一种混合的安全协议形式化分析技术[J]. 中国科学院大学学报, 2002 , 19(3) : 240 -245 . DOI: 10.7523/j.issn.2095-6134.2002.3.004
The advantages and disadvantages of model checking technology and logic reasoning technology is analyzed, Based on it, the author gives a specification of the new mixed technology of the two technologies which can provide a more complete formal analysis of security protocols.
1. Makoto Tatebayashi, Ntsume Matsuzaki, David B Newman Jr. Key Distribution Protocol for Pigital Mobile Communication Systems.In: Proceedings of CRYPTO'89,324^-334
2. M Burrows, M Abadi, R Needham. A Logic of Authentication. In: Research Report 39, Digital Systems Research Center, 1989;Parts and versions of this material have been presented in many places including: ACM Transactions on Computer Systems, 1989, 8(1):18^36;Proceedings of the Royal Society of Lond on A, 1989, 426:233一271
3. D Dolev, O Grumberg, D Peled. Model Checking. MTN Press, 1999
4. P F Syverson, P C van Oorschot. On Unified Some Cryptographic Protocol Logics. In: Proceedings of the 1994 IEEE Computer Soci-ety Press, 1994
5. I. Gong, R Needham, R Yahalom. Reasoning about Belief in Cryptographic Protocols. In: Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos, California, 1990, 234^-248
6. 冯登国.国内外信息安全研究现状及其发展趋势.网络安全技术与应用，2001,1(1): 8 13
7. 范红，冯登国.安全协议形式化分析的研究现状与有关问题.网络安全技术与应用，2001,1(8):12 ^ 15
/
| 〈 |
|
〉 |
