计算机应用与软件2025，Vol.42Issue(11)：P.318-324,7.DOI:10.3969/j.issn.1000-386x.2025.11.041
新的移动支付协议及其形式化分析
摘要
关键词
移动支付协议/双向认证/时限性/SVO逻辑/时限逻辑/形式化分析分类
信息技术与安全科学引用本文复制引用
石庆霞,汪学明..新的移动支付协议及其形式化分析[J].计算机应用与软件,2025,42(11):P.318-324,7.基金项目
国家自然科学基金项目(61163049) （61163049）
贵州省自然科学基金项目(黔科合J字(7641))。 （黔科合J字(7641）
