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]