• 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