@book{CrMa12, author = {C. Cremers and S. Mauw}, title = {{Operational Semantics and Verification of Security Protocols}}, publisher = {Springer-Verlag}, year = {2012}, ulkey = {Cremers:9906} }