Formal analysis of Facebook Connect Single Sign-On authentication protocol ?
the avispa tool for the automated validation of internet security protocols and applications .