Alessio Lomuscio, Bozena Wozna. A complete and decidable security-specialised logic and its application to the TESLA protocol. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 145-152, ACM, 2006. [doi]
@inproceedings{LomuscioW06:0,
title = {A complete and decidable security-specialised logic and its application to the TESLA protocol},
author = {Alessio Lomuscio and Bozena Wozna},
year = {2006},
doi = {10.1145/1160633.1160658},
url = {http://doi.acm.org/10.1145/1160633.1160658},
tags = {completeness, protocol, security, logic},
researchr = {https://researchr.org/publication/LomuscioW06%3A0},
cites = {0},
citedby = {0},
pages = {145-152},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006},
editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},
publisher = {ACM},
isbn = {1-59593-303-4},
}