基于博弈的电子商务协议分析附视频

您当前的位置：

首页 >

文章列表页 >

基于博弈的电子商务协议分析附视频

更新时间：2024-10-14

|

- 基于博弈的电子商务协议分析附视频
- 暂无标题
- 通信学报 2006年第3期页码：73-78
- 作者机构：
- 作者简介：
- 基金信息：
  
  贵州省科学技术基金资助项目(20052111);贵州省教育厅自然科学基金资助项目(2004219)~~
- DOI：
  中图分类号： TP393.04
- 纸质出版日期：2006
- 稿件说明：
移动端阅览
2.贵州大学计算机软件与理论研究所. 基于博弈的电子商务协议分析附视频[J]. 通信学报, 2006,(3):73-78.
2.贵州大学计算机软件与理论研究所. 基于博弈的电子商务协议分析附视频[J]. 通信学报, 2006,(3):73-78. DOI：

DOI：

摘要

提出用一种新的基于博弈的逻辑方法分析电子商务协议

克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述

能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。

Abstract

关键词

Keywords

references

0

浏览量

323

下载量

4

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

相关文章

基于博弈的电子商务协议分析

网络支付协议的形式化安全需求及验证逻辑

基于最优化的多媒体多播速率控制

基于互补矩阵数据隐藏算法研究

语义安全的数字多媒体密码体制

相关作者

李祥

张梅

文静华

刘怡文

李伟琴

韩江洪

钟伯成

苏锦海

相关机构

贵州大学计算机软件与理论研究所

贵州财经学院信息学院

北京航空航天大学计算机学院

北京航空航天大学计算机学院北京100083

安徽合肥230022

⁰