Ke Yang, Meihua Xiao, Zifan Song, Ri Ouyang. Deriving Security Protocols Based on Protocol Derivation System. In Kun He 0001, Cheng Zhong, Zhiping Cai, Yitong Yin, editors, Theoretical Computer Science - 38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020, Revised Selected Papers. Volume 1352 of Communications in Computer and Information Science, pages 172-184, Springer, 2020. [doi]
Abstract is missing.