Text this: On symbolic analysis of cryptographic protocols