您的位置： 专家智库 > 资助详情>广东省自然科学基金(5300984)

广东省自然科学基金(5300984)

作品数：1 被引量：2H指数：1
相关作者：杨德礼王茜更多>>
相关机构：中山大学大连理工大学更多>>
发文基金：国家自然科学基金广东省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>
题名
作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇商务
  • 1篇逻辑分析
  • 1篇逻辑分析方法
  • 1篇交易协议
  • 1篇公平

机构

  • 1篇大连理工大学
  • 1篇中山大学

作者

  • 1篇王茜
  • 1篇杨德礼

传媒

  • 1篇系统工程学报

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
相关度排序
验证电子商务协议的新逻辑分析方法被引量：2
2009年
通过典型实例分析,发现并指出SVO逻辑在验证电子商务协议中存在的缺陷,并在此基础上,充分考虑交易信道的可靠性和交易实体的诚实情况,对其分析框架进行扩展,提出一种验证电子商务交易协议的新逻辑分析方法.新逻辑分析方法符合电子商务协议运行特征,不仅可以静态验证协议的不可否认性,而且可以动态验证协议的公平性.同时,对协议的分析只依赖协议的运行环境,不需人为引入初始化假设,是一种更为严密的形式化分析方法.最后,以经典协议对新方法的正确性、有效性进行验证.
王茜杨德礼
关键词：交易协议逻辑分析电子商务
全选 清除 导出
共1页<1>
聚类工具0