A semantics .for a logic of authentication, PODC (1991)

by M Abadi, M Tuttle