Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol.

Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng

Browse the full ICMLC paper archive.