收藏本站
《2009年全国开放式分布与并行计算机学术会议论文集(上册)》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期
2 苏桂平;孙莎;;基于CPN模型的不可否认协议分析[J];信息安全与通信保密;2011年08期
3 周文嘉;黄林鹏;陈俊清;;普适环境中的动态更新模型[J];微电子学与计算机;2011年08期
4 闫丽丽;彭代渊;高悦翔;;Ad hoc网络中认证路由协议的改进及其安全性分析[J];电子科技大学学报;2011年04期
5 孔令荣;樊矾;;一种RFID标签信息安全传输协议[J];信息安全与通信保密;2011年07期
6 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
7 吴福生;;改进新密钥交换协议及其形式化分析[J];通信技术;2011年07期
8 周璇;汪学明;;移动微支付协议Payword的改进与形式化分析[J];计算机工程与设计;2011年08期
9 徐士伟;张焕国;;基于应用π演算的可信平台模块的安全性形式化分析[J];计算机研究与发展;2011年08期
10 李斌;蒋卫寅;凌力;;一种基于Key值更新的RFID安全协议设计[J];微型电脑应用;2011年07期
中国重要会议论文全文数据库 前10条
1 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
2 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
3 范锐;刘小辉;;企业实体构件动态演化模型[A];2009中国控制与决策会议论文集(3)[C];2009年
4 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
5 李秋山;胡游君;;低成本RFID系统安全协议设计及其形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
6 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
7 高琪;王祖林;;基于Petri网的SNMP建模与形式化分析[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
8 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
9 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
10 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 汪学明;多方安全协议的形式化分析方法研究与应用[D];贵州大学;2008年
2 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
3 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
4 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年
5 何安平;基于层次模型的混合系统形式化分析与验证[D];兰州大学;2011年
6 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
7 杨世平;安全协议及其BAN逻辑分析研究[D];贵州大学;2007年
8 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
9 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
10 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
3 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
4 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
5 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年
6 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
7 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
8 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
9 李仓元;移动Ad Hoc网络安全协议的形式化分析研究与应用[D];合肥工业大学;2010年
10 袁亚飞;逻辑化方法的改进及若干密码协议安全性分析[D];中国人民解放军信息工程大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026