@InProceedings{CM2004semantics,
  Author         = {C.J.F. Cremers and S. Mauw},
  Title          = {Operational Semantics of Security Protocols},
  BookTitle      = "Scenarios: Models, Transformations and Tools,
                   International Workshop, Dagstuhl Castle, Germany,
                   September 7-12, 2003, Revised Selected Papers",
  Editor         = "S. Leue and T. Syst{\"a}",
  Volume         = "3466",
  Series         = "Lecture Notes in Computer Science",
  Publisher      = "Springer",
  url            = "http://www.win.tue.nl/~ecss/downloads/CrMa04b.pdf",
  year           = 2005
}