Ronghai Yang, Guanchen Li, Wing Cheong Lau, Kehuan Zhang, Pili Hu. Model-based Security Testing: An Empirical Study on OAuth 2.0 Implementations. In Xiaofeng Chen 0001, Xiaofeng Wang, Xinyi Huang, editors, Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2016, Xi'an, China, May 30 - June 3, 2016. pages 651-662, ACM, 2016. [doi]
Abstract is missing.