计算机工程与应用2004，Vol.40Issue(12)：153-155,226,4.
保护个人的利益——电子商务协议新属性的自动验证
Automatic Verification of a New Property of E-commerce Protocols:the Protection of Individuals' Interests
博诺 1黄连生2
作者信息
- 1. 清华大学计算机系网络技术研究所,北京,100084
- 2. 里昂中央理工大学,法国
- 折叠
摘要
关键词
电子商务协议/自动验证/模型检验分类
信息技术与安全科学引用本文复制引用
博诺,黄连生..保护个人的利益——电子商务协议新属性的自动验证[J].计算机工程与应用,2004,40(12):153-155,226,4.
