Passphone: Outsourcing Phone-Based Web Authentication While Protecting User Privacy
the avispa tool for the automated validation of internet security protocols and applications .