密码学报2022，Vol.9Issue(1)：P.113-125,13.DOI:10.13868/j.cnki.jcr.000507
Android应用内第三方支付协议的形式化分析
摘要
关键词
支付协议/协议分析/形式化分析/应用内支付分类
信息技术与安全科学引用本文复制引用
李晖,范立岩,潘雪松,冯皓楠..Android应用内第三方支付协议的形式化分析[J].密码学报,2022,9(1):P.113-125,13.基金项目
国家科技重大专项(2018ZX03001010-005)。 （2018ZX03001010-005）
