位置：成果数据库 > 会议 > 会议详情页
Formal Veri?cation of Protocols in E-commerce
  • 所属机构名称：西南财经大学
  • 会议名称：International Conference on Management of e-Commerce and e-Government
  • 时间：2010.10.10
  • 成果类型：会议
  • 相关项目：电子商务协议交易相关安全属性的形式化验证
作者： Liu Jiafen|Luo Xubin|Han Xiumeng|
同会议论文项目
电子商务协议交易相关安全属性的形式化验证
期刊论文 4 会议论文 5 著作 1
同项目会议论文
A Dynamic Wireless Spectrum Allocation Algorithm for Sliding Scheduled Demands
Improved Authentication Tests Theory and its Application in E-commerce Protocols
Looking For Gold in the Sands: stock market prediction using financial news and social media
News recommendation in forum-based social media