Verification for OAuth Using ASLan++. - Haixing Yan; Huixing Fang; Christian Kuka; Huibiao Zhu (HASE, 2015)