Youssef Hanna. SLEDE: lightweight verification of sensor network security protocol implementations. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 591-594, ACM, 2007. [doi]
@inproceedings{Hanna07,
title = {SLEDE: lightweight verification of sensor network security protocol implementations},
author = {Youssef Hanna},
year = {2007},
doi = {10.1145/1287624.1287718},
url = {http://doi.acm.org/10.1145/1287624.1287718},
tags = {protocol, security},
researchr = {https://researchr.org/publication/Hanna07},
cites = {0},
citedby = {0},
pages = {591-594},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering},
editor = {Ivica Crnkovic and Antonia Bertolino},
publisher = {ACM},
isbn = {978-1-59593-811-4},
}