会议论文《基于ATL的电子商务协议建模与形式化分析》发表于2009年全国开放式分布与并行计算学术年会。该文利用ATL（抽象语法树语言）对电子商务协议进行建模，并通过形式化方法对其进行分析，以确保协议的安全性和正确性。研究为电子商务系统的协议设计提供了理论支持和实现方法。
文档为pdf格式，0.25MB，总共4页。
举报
