"A Comprehensive Formal Security Analysis of OAuth 2.0."

Daniel Fett, Ralf Küsters, Guido Schmitz (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics