%0 Journal Article
%T Kind of automated analysis method of security protocol<br>一种安全协议自动化分析方法*
%A WU Xiao-ying
%A ZHOU Qing-lei
%A <br>毋晓英
%A 周清雷
%J 计算机应用研究
%D 2010
%I 
%X This paper presented an automated analysis model based on strand space of security protocol. The model achieved automatic analysis by using a series of algorithms and overcame the disadvantage of manual analysis of security protocol, so it made security protocol analysis more simple and intuitive.The model implemented its function by coding in MyEclipse environment with Java. The proposed approach compares and analyzes Helsinki protocol for the first time, and the results show that the method is simple and efficient.
%K security protocol
%K strand space
%K automatic analysis method
%K algorithm<br>安全协议
%K 串空间
%K 自动化分析模型
%K 算法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=7E595178CD4F1E3CFEE1C0151CF92725&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=B31275AF3241DB2D&sid=6E66AAEF44D63139&eid=9EFA9C0344D40E4A&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8