The Scope of a Logic of Authentication

Michael Burrows, Martín Abadi, Roger M. Needham. The Scope of a Logic of Authentication. In Joan Feigenbaum, Michael Merritt, editors, Distributed Computing And Cryptography, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, October 4-6, 1989. Volume 2 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 119-126, DIMACS/AMS, 1989.

Abstract

Abstract is missing.