Text this: Analysis for e-commerce protocols based on ProVerif