Text this: Formal Correctness of Security Protocols