Modeling and Solving Cryptographic Protocol Insecurity Problem

摘要：

In this paper,the insecurity problem of cryptographic protocol is proposed.To solve this problem,we give an accurate formal specifications for cryptographic protocols,and define the security properties precisely and reasonably,presenting some critical concepts and propositions in the deduction of the problem solving.The method of this paper with provable semantics is reasonable and sound,proved to be efficient by practice.

作者: Jihong Han Yu Zhao Yudan Fan Juan Zhao

作者单位: Zhengzhou Information Science and Technology Institute Zhengzhou,Henan Province,China

会议类型: 国际会议

会议名称: 2008 IEEE International Conference on Onformation and Automation(IEEE 信息与自动化国际会议)

会议地点: 张家界

会议语种:英文

页码: 1757-1761

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