Formal analysis of Facebook Connect Single Sign-On authentication protocol