Protocol Derivation System for the Needham-Schroeder family

Author

Zhang, Junwei ; Yang, Chao ; Ma, Jianfeng

Author_Institution

Key Lab. of Comput. Networks & Inf. Security (Minist. of Educ.), Xidian Univ., Xi´´an, China

fYear

2011

fDate

17-19 Aug. 2011

Firstpage

836

Lastpage

840

Abstract

A framework consisting of the Protocol Derivation System (PDS) and Protocol Composition Logic (PCL) has been recently proposed by Datta et al. for the design and analysis of secure composition of cryptographic protocols. However, the PDS in this proposed framework can only be used for the protocols of the Station-to-Station family, which are signature-based authenticated Diffie-Hellman key exchange protocols. In this paper, the PDS is extended to support key exchange protocols using a Trusted Third Party and encryption based authentication such as those in the Needham-Schroeder family. This is achieved by means of adding new components, refinements and transformations to the PDS. In addition, the derivation graph of the Needham-Schroeder family is developed by using the extended PDS.

Keywords

authorisation; cryptographic protocols; graph theory; Needham-Schroeder family; PDS; cryptographic protocol; derivation graph; encryption based authentication; protocol composition logic; protocol derivation system; signature-based authenticated Diffie-Hellman key exchange protocol; station-to-station family; trusted third party; Authentication; Encryption; Indexes; Protocols; Servers; Needham-Schroeder family; Network Security; PDS; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications and Networking in China (CHINACOM), 2011 6th International ICST Conference on

Conference_Location

Harbin

Print_ISBN

978-1-4577-0100-9

Type

conf

DOI

10.1109/ChinaCom.2011.6158270

Filename

6158270