基于ASLan++的OAuth2.0协议授权码模型形式化建模与分析

严海星

Formal Modelling and Analysis of Authorization Code Model in OAuth 2.0 Protocol Based on ASLan++

YAN Haixing

计算机工程与应用 . 2025, (18): 309 -316 . DOI: 10.3778/j.issn.1002-8331.2408-0365