A Semantics for a Logic of Authentication (Extended Abstract)

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

Abstract

Research Areas