DocumentCode
3230490
Title
Protocol Engineering Principles for Cryptographic Protocols Design
Author
Dong, Ling ; Chen, Kefei ; Wen, Mi ; Zheng, Yanfei
Author_Institution
Shanghai Jiao Tong Univ., Shanghai
Volume
3
fYear
2007
fDate
July 30 2007-Aug. 1 2007
Firstpage
641
Lastpage
646
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.
Keywords
cryptographic protocols; design; message authentication; software engineering; Abadi´s principles; Needham´s principles; authentication protocols; cryptographic protocols design; protocol engineering; security requirements analysis; software engineering; system engineering; Algorithm design and analysis; Artificial intelligence; Authentication; Cryptographic protocols; Design engineering; Distributed computing; Public key cryptography; Security; Software engineering; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
Conference_Location
Qingdao
Print_ISBN
978-0-7695-2909-7
Type
conf
DOI
10.1109/SNPD.2007.441
Filename
4287930
Link To Document