%0 Journal Article
%T Combined Analysis Method for Security Protocols<br>一种安全协议组合分析方法*
%A CHEN Qiang
%A HUANG Lian-sheng
%A ZHAO Xiu-wen
%A <br>陈强
%A 黄连生
%A 赵秀文
%J 计算机应用研究
%D 2006
%I 
%X This paper presents a combined analysis method for security protocols. By specifying security protocols using Common Authentication Protocol Specification Language, then convert CAPSL specification into formal inputs for other analysis tools by connector. This method can utilize the advantage of various analysis tools and ensure the accuracy of formal analysis. Meanwhile, it is convenient for analyzer. We design two CAPSL connector and give an instance.
%K Security Protocol
%K Combined Analysis
%K Specification Language
%K Connector<br>安全协议
%K 组合分析
%K 规范语言
%K 连接器
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=8380BE63AB1E4294&yid=37904DC365DD7266&vid=EA389574707BDED3&iid=B31275AF3241DB2D&sid=03F1579EF92A5A32&eid=D767283A3B658885&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=22