高技术通讯（英文版）2008，Vol.14Issue(3)：266-270,5.
Research and improvement on the limitation of authentication test
Research and improvement on the limitation of authentication test
摘要
Abstract
This paper elaborated on the limitation of authentication test theorem, illustrated the fundamental cause of that limitation through examples, then enhanced authentication test to solve this problem, and also proved the soundness of that improvement with formal method.The enhaneed theory can deal with protocols with test component as proper subterm of other regular node's component under certain conditions, and extend the application scope of authentication test.With enhanced authentication test, the automatic protocol verification tools will be more efficient and convenient.关键词
authentication test/strand space/formal method/security protocol analysisKey words
authentication test/strand space/formal method/security protocol analysis分类
信息技术与安全科学引用本文复制引用
Liu Jiafen ,Zhou Mingtian..Research and improvement on the limitation of authentication test[J].高技术通讯（英文版）,2008,14(3):266-270,5.基金项目
Supported by the National High Technology Research and Development Programme of China (No.863-104-03-01). （No.863-104-03-01）
