Pierre Bieber, Nora Boulahia-Cuppens. Formal Development of Authentication Protocols. In David Till, editor, 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, pages 80-102, Springer, 1994. [doi]
@inproceedings{BieberB94,
title = {Formal Development of Authentication Protocols},
author = {Pierre Bieber and Nora Boulahia-Cuppens},
year = {1994},
doi = {10.1007/978-1-4471-3240-0_5},
url = {https://doi.org/10.1007/978-1-4471-3240-0_5},
researchr = {https://researchr.org/publication/BieberB94},
cites = {0},
citedby = {0},
pages = {80-102},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994},
editor = {David Till},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {978-3-540-19886-4},
}