咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

标题
作者

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 网络空间安全
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 公平性
  • 2 篇 形式化分析
  • 2 篇 多方电子商务协议
  • 2 篇 atl逻辑

机构

  • 2 篇 贵州财经学院
  • 2 篇 武汉大学

作者

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

语言

  • 2 篇 中文
检索条件"主题词=多方电子商务协议"
共 2 条 记 录，以下是1-10 订阅
基于ATL的电子商务协议建模与形式化分析
收藏
分享
引用
微电子学与计算机 2009年 第8期26卷 193-195,200页
作者： 张梅 文静华 张焕国 贵州财经学院信息学院 贵州贵阳550004 武汉大学计算机学院 湖北武汉430072
LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系.引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析.利用新方法对Markowitch和Kremer提出的多方非否认协议... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于ATL的电子商务协议建模与形式化分析
基于ATL的电子商务协议建模与形式化分析
收藏
分享
引用
2009年全国开放式分布与并行计算机学术会议
作者： 张梅 文静华 张焕国 贵州财经学院信息学院 武汉大学计算机学院
LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系.引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析.利用新方法对Markowitch和Kremer提出的多方非否认协议... 详细信息
来源： cnki会议 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件