Formal Design of Efficient Authentication and Key-Agreement

Gunnar Jacobson. Formal Design of Efficient Authentication and Key-Agreement. In Bart Preneel, editor, Secure Information Networks: Communications and Multimedia Security, IFIP TC6/TC11 Joint Working Conference on Communications and Multimedia Security (CMS 99), September 20-21, 1999, Leuven, Belgium. Volume 152 of IFIP Conference Proceedings, pages 96-116, Kluwer, 1999.

Abstract

Abstract is missing.