Research of Formal Design of Authentication Protocols

摘要：

Authentication is one of the most important properties in network security, it is usually ensured by designing authentication protocols which use cryptographic techniques. Unfortunately, practice proved that the analysis and design of a protocol is not easy even it is very simple. The paper describes an automatic generation of authentication security protocols based on the evolutionary algorithm and SVO logic and illustrates the approach can automatic generate large-scale authentication protocols, such as three-party key agreement etc.

作者: Yajie Zhou Huanmei Guan

作者单位: Computer School of Wuhan University Wuhan,China,430072 Computer Center of Wuhan University Wuhan,China,430072

会议类型: 国际会议

会议名称: 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems(2009 IEEE 智能计算与智能系统国际会议)

会议地点: 上海

会议语种:英文

页码: 1840-1843

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