@InProceedings{	  drielsma.ea:asw:2004,
  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.},
  author	= {Paul Hankes Drielsma and Sebastian M{\"o}dersheim},
  booktitle	= {Automated Reasoning for Security Protocol Analysis
		  (ARSPA)},
  language	= {USenglish},
  month		= {July},
  pages		= {141--156},
  pdf		= {papers/2004/1_arspa2004.pdf},
  ps		= {papers/2004/1_arspa2004.ps.gz},
  publisher	= {ENTCS},
  title		= {The ASW Protocol Revisited: A Unified View},
  year		= 2004,
  user		= {moederss}
}