Deciding the Correctness of Attacks on Authentication Protocols Publikasjonsdetaljer Journal: Journal of Software, vol. 05.03.2012, p. 40–54, Friday 30. January 2009 Internasjonale standardnumre: Elektronisk: 1796-217X Du er her: Hjem Publikasjoner Vitenskapelig artikkel Deciding the Correctness of Attacks on Authentication Protocols