Deciding the Correctness of Attacks on Authentication Protocols

Hagalisletto, Anders Moen

January 30, 2009

DART

• ISBN: ISSN : 1796-217X
• Author(s): Hagalisletto, Anders Moen
• Title: Deciding the Correctness of Attacks on Authentication Protocols
• Volume/number: 3/5
• Name and number of project:
• Journal: Journal of Software
• Page(s): pp. 40-54
• Conference:
• Refereed: 1
• Publisher: Academy Publisher
• Published date: January 30, 2009
• Book title:
• Editor: