Text this: Operational semantics and verification of security protocols /