A Semantics for a Logic of Authentication (Extended Abstract)

Mark R. Tuttle
PODC (1991), pp. 201-216

Abstract