计算机工程与应用2004，Vol.40Issue(36)：35-37,3.
一种新型的电子商务协议及形式化分析
A New Electronic Commerce Protocol and its Formal Analysis
摘要
关键词
电子商务协议 BAN逻辑 可信第三方分类
信息技术与安全科学引用本文复制引用
石曙东,李之棠..一种新型的电子商务协议及形式化分析[J].计算机工程与应用,2004,40(36):35-37,3.基金项目
国家自然科学基金资助项目(编号:69873016 （）
69972017) （）
湖北省教育厅重点项目资助(编号:2004D004) （编号:2004D004）
