Model-based Security Testing: An Empirical Study on OAuth 2.0 Implementations
The OAuth 2.0 Authorization Framework