Modular Security Analysis of OAuth 2.0 in the Three-Party Setting | IEEE Conference Publication | IEEE Xplore