Paul Syverson, Cathernine Meadows. A logical language for specifying cryptographic protocol requirements. In 1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993. pages 165-177, IEEE Computer Society, 1993. [doi]
Abstract is missing.