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