%0 Journal Article
%T Formal Analysis Approach for a Kind of Open-ended Protocols<br>一类具有“开端”结构的安全协议分析方法研究
%A DONG Rong-sheng WU Guang-wei
%A LUO Xiang-yu GU Tian-long
%A <br>董荣胜
%A 吴光伟
%A 骆翔宇
%A 古天龙
%J 计算机科学
%D 2008
%I 
%X The formal analysis of Open-ended Protocols is one of emerging areas of research.The IKEv2 protocol offers a complex example.Our work is based on Athena which is an efficient automatic checking approach.We introduce set theory to deal with Open-ended structure.The new notion of message terms,substitution and the penetrator model are given and the relevant propositions or theorem such as interm relation,goal and goal-binding are therefore modified and proved.A new relation is proposed which is used in order ...
%K Diffie-hellman
%K Security association
%K Athena<br>开端协议
%K 串空间
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D70824BB3809126AD2D822F5B4B00DDD&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=DF92D298D3FF1E6E&sid=94E7F66E6C42FA23&eid=2A3781E88AB1776F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=9