The ASW Protocol Revisited: A Unified View
OPEN ACCESS
Loading...
Author / Producer
Date
2005-03-03
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Abstract
We revisit the analysis of the ASW contract signing protocol and use a unified view of the protocol as a whole as a basis to reason about the protocol and its objectives. This line of reasoning yields a simpler and clearer model of agents and protocol objectives which is within the scope of standard security analysis methods, as it does not require fairness constraints and uses only standard authentication and secrecy properties. We also analyse this model for finitely and infinitely many sessions of the protocol using the automated analysis tools OFMC and its extension OFMC-FP.
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
125 (1)
Pages / Article No.
145 - 161
Publisher
Elsevier
Event
1st Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Contract Signing; Fair Exchange; Automated Protocol Analysis
Organisational unit
03634 - Basin, David / Basin, David