@InCollection{kra05,
  author    = {A. Hommersom and J.-J.Ch. Meyer and Vink, E.P. de},
  title     =  {Update Semantics of Security Protocols},
  booktitle = {Information, Interaction and Agency},
  pages     = {289--327},
  publisher = {Springer},
  year      = 2005,
  editor    = {Hoek, W. van der},
  note      = {Reprinted from Synthese 139:2 and 142:2 (2004),
               Special Section Knowledge, Rationality and Action}
}