会议论文《基于UPPAAL的简单网络支付协议形式化验证》发表于广西计算机学会2010年年会，主要探讨了如何利用UPPAAL工具对简单网络支付协议进行形式化建模与验证。文章通过建立协议的时序逻辑模型，分析了协议在不同场景下的安全性与正确性，为电子商务中的支付安全提供了理论支持和技术参考。
文档为pdf格式，0.25MB，总共4页。
举报
