Research Article
Protocol Derivation System for the Needham-Schroeder Family
@INPROCEEDINGS{10.1109/ChinaCom.2011.6158270, author={Junwei Zhang and Chao Yang and Jianfeng Ma}, title={Protocol Derivation System for the Needham-Schroeder Family}, proceedings={6th International ICST Conference on Communications and Networking in China}, publisher={IEEE}, proceedings_a={CHINACOM}, year={2012}, month={3}, keywords={network security protocols pds needham-schroeder family}, doi={10.1109/ChinaCom.2011.6158270} }- Junwei Zhang
Chao Yang
Jianfeng Ma
Year: 2012
Protocol Derivation System for the Needham-Schroeder Family
CHINACOM
IEEE
DOI: 10.1109/ChinaCom.2011.6158270
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 signaturebased 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.