Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng. Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. In International Conference on Machine Learning and Cybernetics, ICMLC 2012, Xian, Shaanxi, China, July 15-17, 2012, Proceedings. pages 1866-1871, IEEE, 2012. [doi]
Abstract is missing.