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.
@inproceedings{Jacobson99:3,
title = {Formal Design of Efficient Authentication and Key-Agreement},
author = {Gunnar Jacobson},
year = {1999},
tags = {design},
researchr = {https://researchr.org/publication/Jacobson99%3A3},
cites = {0},
citedby = {0},
pages = {96-116},
booktitle = {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},
editor = {Bart Preneel},
volume = {152},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-8600-0},
}