%0 Journal Article
%T Analysis of Security Protocols Based on Authentication Test<br>基于认证测试的安全协议分析
%A YANG Ming
%A LUO Jun-Zhou
%A <br>杨明
%A 罗军舟
%J 软件学报
%D 2006
%I 
%X Authentication Test is a new type of analysis and design method of security protocols based on Strand space model, and it can be used for most types of the security protocols. However, as a Strand space model, it is inclined to be used for the proof of correctness, and is relatively weaker for incorrectness analysis. This paper proposes the concepts of Enhanced Authentication Test (EAT) and the correspondence function that can solve the problem. Compared with the original concept, the new approach is more formal and can make protocol analysis easier both by hand and automatically.
%K network security
%K protocol analysis
%K Strand space model
%K authentication test
%K authentication logic<br>网络安全
%K 协议分析
%K Strand空间模型
%K 认证测试
%K 认证逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=B3889E0AE9C29B6F&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=CA4FD0336C81A37A&sid=856C2E13D1000DB7&eid=3F0AF5EDBC960DB0&journal_id=1000-9825&journal_name=软件学报&referenced_num=8&reference_num=15