Improvements of Authentication Tests on Detecting Type Flaw Attacks
(0) Authentication tests are widely used in formal analysis, design and automatic veri.cation of security protocols. However, they are not suf.cient in proving symmetric key protocols, and fail to detect potential attacks on Neuman-Stubblebine protocol. By analyzing the failure reasons of authentication tests, some of their de.ciencies have been pointed out. In order to break through these limitations of analytic capability of the original authentication tests, the improved authentication tests (I-ATs) have been proposed. In the I-ATs, the notion of message type is introduced for detecting the possibility of certain replay and interleaving attacks. The proofs of Neuman-Stubblebine protocol and Kao-Chow authentication protocol show that the I-ATs can easily.nd the type.aw attack on the initial authentication of Neuman-Stubblebine protocol, and give precise proof for Kao-Chow protocol.
Li Xiehua Li Renfa Gao Chunming
School of Computer and Communication Hunan University Changsha,P.R.China
国际会议
广州
英文
2008-11-19（万方平台首次上网日期，不代表论文的发表时间）