Adding Time to a Logic of Authentication

Paul F. Syverson. Adding Time to a Logic of Authentication. In ACM Conference on Computer and Communications Security. pages 97-101, 1993. [doi]

Abstract

Abstract is missing.