首页> 中文会议>2009年全国开放式分布与并行计算学术年会 >基于ATL的电子商务协议建模与形式化分析

基于ATL的电子商务协议建模与形式化分析

页面导航

摘要
著录项
相似文献
相关主题

摘要

LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系,引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析,利用新方法对Markowitch和Kremer提出的多方非否认协议进行建模与严格的形式化分析,发现该协议存在的不公平性问题并提出改进方法.

著录项

来源
《2009年全国开放式分布与并行计算学术年会》|2009年|193-195200|共4页
会议地点乌鲁木齐
作者
张梅; 文静华; 张焕国;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类电子贸易、网上贸易;通信规程、通信协议;
关键词
形式化分析; 多方电子商务协议; 封闭式并发系统; 博弈逻辑;
入库时间 2022-08-17 10:45:46

相似文献

中文文献
外文文献
专利

1. 基于ATL的电子商务协议建模与形式化分析 [J] . 张梅 ,文静华 ,张焕国 . 微电子学与计算机 . 2009,第8期
2. 基于ATL的公平电子商务协议形式化分析 [J] . 文静华 ,李祥 ,张焕国 . 电子与信息学报 . 2007,第004期
3. 基于ATL的KM非否认协议形式化分析 [J] . 田顺仙 ,龙士工 . 贵州大学学报（自然科学版） . 2011,第005期
4. 基于ATL方法的电子商务协议FONRP分析 [J] . 张梅 ,文静华 ,张焕国 . 计算机工程 . 2008,第003期
5. 基于CTL的电子商务安全协议形式化分析 [J] . 李忠慧 . 科技信息 . 2009,第028期
6. 基于SVO逻辑的电子商务协议非否认性形式化分析 [C] . Cui Nan ,崔楠 ,Wang Xueming . 第四届全国逻辑系统、智能科学与信息科学学术会议 . 2008
7. 基于ATL的形式化建模与验证技术的应用研究 [A] . 李群 . 2016

基于ATL的电子商务协议建模与形式化分析

摘要

著录项

相似文献

相关主题

期刊订阅