TY - RPRT TI - A Comprehensive Formal Security Analysis of OAuth 2.0 AU - Daniel Fett AU - Ralf Kuesters AU - Guido Schmitz PY - 2016 UR - https://arxiv.org/abs/1601.01229 ID - 1601.01229 ER -