A New Formal Analysis Method for Security Protocols

摘要：

The security of distributed computing systems relies to a great extent on the security protocols based on cryptographic techniques. Hence the formal analysis methods are needed which help to analyse the security of these protocols. In this paper we introduce a new formal method based on the existing ones. By using our method we are able to analyse the security properties of either the authentication protocols or the non-repudiation protocols. Compared with the previous works, our method has more analysis power. We also provide the semantics for the method to prove its soundness.

关键词： formal analysis security protocol logic, semantics

作者: LU Yang XIAO Junmo LIU Jing

作者单位: Institute of Communication Engineering PLA University of Science and Technology Nanjing, Jiangsu Province 210007, China

会议类型: 国际会议

会议名称: 第二届国际计算机新科技与教育学术会议(Proceedings of the Second International Conference on Computer Science & Education ICCSE2007)

会议地点: 武汉

会议语种:英文

页码: 724-729

在线出版日期: 2007-07-25（万方平台首次上网日期，不代表论文的发表时间）