Robuta

https://arxiv.org/abs/1601.01229v4 [1601.01229v4] A Comprehensive Formal Security Analysis of OAuth 2.0 Abstract page for arXiv paper 1601.01229v4: A Comprehensive Formal Security Analysis of OAuth 2.0 security analysis comprehensive formal