Model-based Security Testing: An Empirical Study on OAuth 2.0 Implementations
Formal analysis of Facebook Connect Single Sign-On authentication protocol ?