Text this: Modelling and Analysis of Security Protocols