Pablo Giambiagi, Mads Dam
On the Secure Implementation of Security Protocols
ESOP, 2003.
@inproceedings{ESOP-2003-GiambiagiD,
author = "Pablo Giambiagi and Mads Dam",
booktitle = "{Proceedings of the 12th European Symposium on Programming}",
doi = "10.1007/3-540-36575-3_11",
editor = "Pierpaolo Degano",
isbn = "3-540-00886-1",
pages = "144--158",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Secure Implementation of Security Protocols}",
volume = 2618,
year = 2003,
}