Deciding the Correctness of Attacks on Authentication Protocols Anders Moen Hagalisletto Publication details Journal: Journal of Software, vol. 05.03.2012, p. 40–54–15, Friday 30. January 2009 International Standard Numbers: Printed: 1796-217X Electronic: 1796-217X You are here: Home Publications Scientific article Deciding the Correctness of Attacks on Authentication Protocols