收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

电子商务协议的形式化验证方法及FR验证实例

郭华  庄雷  
【摘要】：正 1 引言安全的电子商务协议是保证电子商务活动正常开展的基础,但许多安全协议是在并行环境中运行的,经过精心设计的协议往往存在漏洞,仅凭人的直觉判断很难发现。因此用形式化分析方法验证协议的正确性成为电子商务中一个重要环节。形式化方法主要包括BAN类逻辑、动态逻辑、串空间、一阶时序逻辑等方法。近几年出现了一些形式化验证的新方法:如通过验证发方非否认证据(POO)及收方非否认证据(POR)是否分别属于接收者和发送者的最终拥有

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李刚;师颖;刘兴堂;胡小江;;基于神经网络的复杂仿真系统验证方法[J];计算机仿真;2011年08期
2 陈振庆;罗兰花;;基于动态描述逻辑的UML状态图形式化方法[J];计算机工程;2011年13期
3 张国春;张宪;;面向体系对抗仿真的毁伤模型建模框架研究[J];系统仿真学报;2011年S1期
4 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[J];计算机科学;2011年09期
5 彭立影;熊菊水;;平均严重故障间隔时间验证方法研究[J];电子产品可靠性与环境试验;2011年03期
6 王环环;詹永照;陈锦富;;可信软件分析与测试研究进展[J];计算机应用研究;2011年07期
7 陈兰香;;一种基于会话的安全Web文件服务模型[J];计算机工程;2011年18期
8 聂锡宁;蔡国永;;Petri网的重写逻辑模型及其属性验证[J];桂林电子科技大学学报;2011年03期
9 佟佳慧;叶思染;;高频信号一致性比较方法研究[J];计算机仿真;2011年07期
10 曹凤雪;;多Agent系统中组织适应的形式化方法[J];江苏技术师范学院学报;2011年06期
11 邹晓辉;邹顺鹏;;间接计算模型和间接形式化方法[J];软件;2011年05期
12 罗婷;郭渊博;郝耀辉;;基于ACSL的密码软件形式化验证方法[J];信息安全与通信保密;2011年07期
13 张立明;曾海林;赵剑;欧阳丹彤;何丽莉;;结合约束满足消除误判的等价性验证方法[J];吉林大学学报(工学版);2011年05期
14 李鸿;;基于范畴论的粒合成形式化方法[J];计算机工程;2011年14期
15 文良;刘佑宝;吴龙胜;;基于eRM建立自动化的验证平台[J];现代电子技术;2011年12期
16 李均涛;唐郑熠;李祥;;基于行为时序逻辑的入侵取证研究[J];计算机应用研究;2011年07期
17 罗莉;何鸿君;徐炜遐;窦强;;面向SOC芯片的跨时钟域设计和验证[J];计算机科学;2011年09期
18 刘江;;软件开发方法需要理论[J];程序员;2010年10期
19 陈振庆;罗兰花;;基于OWL本体的UML类图推理[J];计算机应用与软件;2011年08期
20 何朝军;李哲英;;数字电路IP软核任务流方法验证[J];电子测量技术;2011年08期
中国重要会议论文全文数据库 前10条
1 姜旭;;系统工程的验证方法[A];第十一届全国数据库学术会议论文集[C];1993年
2 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 郑继荣;彭虹;;基于COMIP系统平台的SoC验证方法[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
4 刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集（A辑）[C];2011年
5 张敏;洪澄;陈驰;;一种服务器透明的外包数据库查询验证方法[A];第26届中国数据库学术会议论文集（A辑）[C];2009年
6 贾靖华;张多利;;基于功能信息的IC验证工程学研究[A];第20届测控、计量、仪器仪表学术年会论文集[C];2010年
7 陈爱真;路长刚;吴魁;;飞行仿真计算精度验证方法研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
8 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
9 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
10 边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
2 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
3 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
4 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
5 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
6 廖军;面向服务的计算（SOC）中服务组合的研究[D];电子科技大学;2006年
7 张昭理;基于Petri网的安全策略分析与验证方法研究[D];华中科技大学;2007年
8 陈振邦;服务计算中接口模型与构件设计的研究[D];国防科学技术大学;2009年
9 陈潇怡;数字权限表达语言的形式化模型及应用研究[D];武汉大学;2011年
10 赵显琼;基于模型的高速列车运行控制系统可信性验证方法研究[D];北京交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
2 赵建利;基于演化构件的形式化需求分析方法研究与应用[D];华北电力大学（河北）;2005年
3 陈波;基于定理证明器HOL的硬件验证研究[D];兰州大学;2006年
4 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
5 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
6 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
7 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
8 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
9 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
10 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
中国重要报纸全文数据库 前10条
1 ;如何自定义用户身份验证方法？[N];网络世界;2007年
2 记者 周颖;大力提倡科学验证方法[N];中国中医药报;2000年
3 孙昭友 夏 敏;浅议采购产品的抽样验证方法[N];中国国门时报;2004年
4 陈先勇;几种主流的验证技术[N];计算机世界;2007年
5 清水 编译;如何对WLAN实行强验证[N];计算机世界;2006年
6 飘零雪;打假网上行[N];中国电脑教育报;2005年
7 ;新型身份验证：图形密码[N];中国计算机报;2006年
8 清水 编译;让身份验证更智能[N];计算机世界;2006年
9 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
10 胡英;闭环跟踪改变软件开发模式[N];计算机世界;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）