B. Brandherm, J. Haupert, A. Kröner, M. Schmitz, and F. Lehmann. PerCom 2010 Workshops: Proceedings of the 8th Annual IEEE International Conference on Pervasive Computing and Communications Workshops, Mannheim, Germany, page 768-771. (2010)
G. Lowe. Tools and Algorithms for the Construction and Analysis of Systems, volume 1055 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/3-540-61042-1_43.(1996)
J. Bender, M. Fischlin, and D. Kügler. Information Security, volume 5735 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-04474-8_3.(2009)