A security analysis of the OAuth protocol
Formal analysis of Facebook Connect Single Sign-On authentication protocol ?