@phdthesis{scytherthesis,
  Author    = {C.J.F. Cremers},
  Title     = {Scyther - Semantics and Verification of Security Protocols},
  School    = {Eindhoven University of Technology},
  Publisher = {University Press Eindhoven},
  Year      = {2006},
  Type      = {{Ph.D.} dissertation},
  ISBN      = {978-90-386-0804-4},
}