The Community for Technology Leaders
RSS Icon
Subscribe
Haier International Training Center, Qingdao, China
July 30, 2007 to Aug. 1, 2007
ISBN: 0-7695-2909-7
pp: 641-646
Ling Dong , Shanghai Jiao Tong University, China; National Laboratory of Modern Communications, China
Kefei Chen , Shanghai Jiao Tong University, China; National Laboratory of Modern Communications, China
Mi Wen , Shanghai Jiao Tong University, China; National Laboratory of Modern Communications, China
Yanfei Zheng , Shanghai Jiao Tong University, China; National Laboratory of Modern Communications, China
ABSTRACT
Design of cryptographic protocols especially authentication protocols remains error-prone, even for experts in this area. Protocol engineering is a new notion introduced in this paper for cryptographic protocol design, which is derived from software engineering idea. We present and illustrate protocol engineering principles in three groups: cryptographic protocol security requirements analysis principles, detailed protocol design principles and provable security principles. Furthermore, we illustrate that some of the well-known Abadi and Needham?s principles are ambiguous. This paper is useful in that it regards cryptographic protocol design as system engineering, hence it can efficiently indicate implicit assumptions behind cryptographic protocol design, and present operational principles on uncovering these subtleties. Although our principles are informal, but they are practical, and we believe that they will benefit other researchers.
INDEX TERMS
null
CITATION
Ling Dong, Kefei Chen, Mi Wen, Yanfei Zheng, "Protocol Engineering Principles for Cryptographic Protocols Design", SNPD, 2007, 2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2007, pp. 641-646, doi:10.1109/SNPD.2007.441
42 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool