@article{2005-Hommersom-UpdateSemanticsOfSecurityProtocols,
  author		= "{Hommersom}, A.J. and {Meyer}, J.--J.Ch. and {Vink}, E.P. de",
  title			= "{Update Semantics of Security Protocols}",
  journal		= "Synthese/Knowledge, Rationality and Action",
  year			= "2004",
  code			= "icis.NIII-R0443",
  research_group	= "iris",
  class			= "Journal"
}