会议论文《基于Spin的SET协议模型检测研究》发表于2009年全国理论计算机科学学术年会。该文针对SET协议的安全性进行分析，利用Spin工具对协议模型进行验证，旨在发现潜在的漏洞与错误。研究通过形式化方法提高协议的可靠性，为电子支付系统的安全设计提供理论支持。
文档为pdf格式，0.31MB，总共4页。
举报
