收稿日期: 2003-08-15
修回日期: 2003-11-10
网络出版日期: 2004-07-10
基金资助
国家973项目(G1999035800)资助
Analyzing the Authentication Protocol with TypeFlaw Based on Strand Spaces
Received date: 2003-08-15
Revised date: 2003-11-10
Online published: 2004-07-10
任侠 , 吕述望 . 基于Strand空间分析具有类型缺陷的认证协议[J]. 中国科学院大学学报, 2004 , 21(4) : 543 -548 . DOI: 10.7523/j.issn.2095-6134.2004.4.018
This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid ofthe strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of thepenetrator.
[ 1 ] J Heather, G Lowe, S Schneider.How to prevent type flaw attacks on security protocols.In :Proceedings of the 13th IEEE Computer SecurityFoundations Workshop.IEEE Computer Society Press, 2000.255 —268.
[ 2 ] F Javier Thayer Fábrega, Jonathan C Herzog, Joshua D Guttman.Strand spaces :proving security protocols correct.Journal of Computer Securi ty,1999, 7(2, 3):191 —230.
[ 3 ] Joshua D Guttman, F Javier Thayer Fábrega.Authentication tests and the structure of bundles.Theoretical Computer Science, 2002, 283(2):333 —380.
[ 4 ] Gavin Lowe.An attack on the Needham-Schroeder public key authentication protocol.Information Processing Letters, 1995, 56(3):131—136.
[ 5 ] Catherine Meadows.Analyzing the Needham-S chroeder publi c-key protocol:a comparison of two approaches.In:ESORICS′96.LNCS 1146,1996.351 —364
/
| 〈 |
|
〉 |
