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