您的位置： 专家智库 > >

贵州省科学技术基金(2005-2111)

作品数：1 被引量：3H指数：1
相关作者：张梅张焕国文静华更多>>
相关机构：贵州财经大学武汉大学更多>>
发文基金：国家自然科学基金贵州省科学技术基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇形式化
  • 1篇形式化分析
  • 1篇商务
  • 1篇公平
  • 1篇安全性
  • 1篇ATL

机构

  • 1篇贵州财经大学
  • 1篇武汉大学

作者

  • 1篇文静华
  • 1篇张焕国
  • 1篇张梅

传媒

  • 1篇计算机工程

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于ATL方法的电子商务协议FONRP分析被引量：3
2008年
研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析复杂电子商务协议。
张梅文静华张焕国
关键词：电子商务协议安全性形式化分析
全选 清除 导出
共1页<1>
聚类工具0