电子支付协议的博弈逻辑模型与形式化分析

文静华; 张梅; 张焕国

首页> 中文期刊> 《微电子学与计算机》 >电子支付协议的博弈逻辑模型与形式化分析

电子支付协议的博弈逻辑模型与形式化分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

提出用一种新的基于博弈逻辑ATL(Alternating-time Temporal Logic)的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点,可以成功地对电子商务中的对抗与合作行为进行描述。利用新方法对Bolignano协议进行了严格的形式化分析,发现该协议不能满足公平性要求。

著录项

来源
《微电子学与计算机》 |2007年第9期|113-115|共3页
作者
文静华; 张梅; 张焕国;
展开▼
作者单位

贵州财经学院信息学院;

武汉大学计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
电子支付协议; 公平性; 形式化分析; ATL;

相似文献

中文文献
外文文献
专利

1. 一种新的复合型电子支付协议及其形式化分析 [J] . 丁月 ,汪学明 . 计算机应用与软件 . 2018,第006期
2. 电子支付协议Bolignano的形式化分析 [J] . 吴丹 . 科海故事博览·科教创新 . 2009,第009期
3. 一个新的电子支付协议及其形式化分析 [J] . 徐洋 ,汪学明 ,谢晓尧 . 计算机应用与软件 . 2008,第009期
4. 电子支付协议安全性的形式化分析 [J] . 李益发 ,谢文海 ,张彦肖 . 信息工程大学学报 . 2000,第002期
5. 网络支付协议的形式化安全需求及验证逻辑 [J] . 刘怡文 ,李伟琴 . 通信学报 . 2004,第004期
6. 一种新的复合型电子支付协议及其形式化分析 [C] . DING Yue ,丁月 ,WANG Xue-ming . 2017年贵州省计算机学会年会 . 2017
7. 基于事件逻辑的移动支付协议形式化分析 [A] . 杨科 . 2019

电子支付协议的博弈逻辑模型与形式化分析

摘要

著录项

相似文献

相关主题

期刊订阅