Automated Formal Methods for Security Protocol Engineering