Scyther - semantics and verification of security protocols by C.J.F. Cremers