Combined Analysis Method for Security Protocols
一种安全协议组合分析方法*

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.