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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

- 基于博弈的电子商务协议分析
- Issue 3, Pages: 73-78(2006)
- 作者机构：
  
  1. 贵州财经学院信息学院
  2. 贵州大学计算机软件与理论研究所
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.04
- Published：2006
- 稿件说明：
移动端阅览
[1]文静华,张梅,李祥.基于博弈的电子商务协议分析[J].通信学报,2006(03):73-78.

[J]. 2006, (3): 73-78.
[1]文静华,张梅,李祥.基于博弈的电子商务协议分析[J].通信学报,2006(03):73-78. DOI：

[J]. 2006, (3): 73-78. DOI：

摘要

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

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

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

Abstract

关键词

Keywords

references

Views

927

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

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

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

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

基于价格理论和博弈论的接入控制策略

Related Author

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

李伟琴

刘怡文

韩江洪

钟伯成

汤仁义

苏锦海

张永福

Related Institution

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

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

安徽合肥230022

合肥学院计算机科学与技术系

合肥工业大学计算机与信息学院安徽合肥230009

AI问答

⁰