Formal Modelling and Analysis of Authorization Code Model in OAuth 2.0 Protocol Based on ASLan++
YAN Haixing
Computer Engineering and Applications . 2025, (18): 309 -316 .  DOI: 10.3778/j.issn.1002-8331.2408-0365