计算机工程2008，Vol.34Issue(3)：151-153,3.
基于ATL方法的电子商务协议FONRP分析
Analysis of E-commerce Protocol FONRP Based on ATL
摘要
关键词
电子商务协议/公平性/安全性/形式化分析/ATL逻辑分类
信息技术与安全科学引用本文复制引用
张梅,文静华,张焕国..基于ATL方法的电子商务协议FONRP分析[J].计算机工程,2008,34(3):151-153,3.基金项目
国家自然科学基金资助项目(40261009) （40261009）
贵州省科技基金资助项目(2005-2111) （2005-2111）
