Junwei Zhang, Jianfeng Ma and Chao Yang Protocol Derivation System for the Needham–Schroeder family Security and Communication Networks 8
This paper extended the Protocol Derivation System for Needham–Schroeder family, which is based on symmetric encryption and trusted third party. The extended Protocol Derivation System could be used to generate a derivation graph of the protocols in the Needham–Schroeder family. At the same time, the Protocol Composition Logic could be applied to prove the correctness of the derived protocols.
Complete the form below and we will send an e-mail message containing a link to the selected article on your behalf