Junwei Zhang, Chao Yang, Jianfeng Ma. Protocol Derivation System for the Needham-Schroeder family. In 6th International ICST Conference on Communications and Networking in China, CHINACOM 2011, Harbin, China, August 17-19, 2011. pages 836-840, IEEE, 2011. [doi]
Abstract is missing.