@Article{	  caleiro.ea:relating:2005,
  abstract	= {In previous work, we introduced a version of
		  distributedtemporal logic that is well-suited both for
		  verifying securityprotocols and as a metalogic for
		  reasoning about, and relating,different security protocol
		  models. In this paper, we formally investigate the
		  relationship between our approach and strand spaces, which
		  is one of the most successful and wide\-spread formalisms
		  for analyzing security protocols. We define translations
		  between modelsin our logic and strand-space models of
		  security protocols, and we compare the results obtained
		  with respect to the level of abstraction that is inherent
		  in each of the formalisms. This allows us to clarify
		  different aspects of strand spaces that are often left
		  implicit, as well as identify the relative advantages and
		  shortcomings of the two approaches.},
  author	= {Carlos Caleiro and Luca Vigan\`o and David Basin},
  journal	= {Logic Journal of the IGPL },
  language	= {USenglish},
  number	= 6,
  pages		= {637--663},
  title		= {Relating Strand Spaces and Distributed Temporal Logic for
		  Security Protocol Analysis},
  volume	= 13,
  year		= 2005
}