收藏本站
《计算机工程》 2007年13期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

模态逻辑与带变量串空间相结合的协议分析

龙士工  罗文俊  彭长根  李祥  
【摘要】:在传统的串空间基础上引入带变量的串空间模型,对于未确定的消息项或其子项用变量表示,允许变量出现在消息项及其演算中,协议由参与协议运行的不同主体的带变量的串组成。以协议运行的迹语义为模型,提出了一个用于推理协议主体的各种行为的模态逻辑系统,给出了该逻辑的语法、公理及推理规则。基本的模态公式[P]Aφ表示主体A完成动作P,φ是相应的结果,通过主体行为的各种组合并绑定相应逻辑公式,最终推断安全协议的秘密性和可鉴别性。用该方法分析Helsinki协议,能发现其中的安全漏洞Horng-Hsu攻击。

【相似文献】
中国期刊全文数据库 前10条
1 郭江;分布式系统的安全[J];计算机工程与设计;1993年06期
2 林晓东,杨菲;网络安全协议——安全套接字层分析[J];信息安全与通信保密;1996年04期
3 林晓东,杨义先,马严;网络安全关键技术的研究与进展[J];信息安全与通信保密;1997年02期
4 李;安全协议构建安全的VPN[J];中国计算机用户;1998年28期
5 ;万事达联姻Excite[J];每周电脑报;1998年20期
6 贾旭光,范忠礼;ATM层、AAL层之间的ATM网络安全技术[J];南京邮电学院学报(自然科学版);1999年01期
7 ;SET安全协议[J];互联网周刊;1999年34期
8 曾志峰,冯运波,杨义先;虚拟专用网的研究与实现[J];北京邮电大学学报;2000年02期
9 谢冬青,李超,周洲仪;网络安全协议的一般框架及其安全性分析[J];湖南大学学报(自然科学版);2000年02期
10 王蔚,冯运波,杨义先;IPSec的实现途径及主要产品[J];电信科学;2001年05期
中国重要会议论文全文数据库 前10条
1 张瑞军;陈一周;邓辉;;基于Internet电子商务的安全性探讨[A];图像 仿真 信息技术——第二届联合学术会议论文集[C];2002年
2 曹娟;;电子商务的安全体系结构及安全技术研究[A];中国烟草行业信息化研讨会论文集[C];2004年
3 杨明;罗车舟;;一种安全协议分析的逻辑模型[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
4 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
5 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
6 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
9 张岚;余昭平;;后继攻击以及它的应用[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
10 孙颖铭;唐丹;;一种基于ARM平台的远程internet数据安全传输解决方案[A];第二届全国信息与电子工程学术交流会暨第十三届四川省电子学会曙光分会学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 北京市科委保密委员会主办;网络信息安全与保密的层次结构[N];北京科技报;2000年
2 于卫;创造WAP上的ISP[N];计算机世界;2000年
3 李俊荣 陈建设 张勇;承包商和供应商管理[N];中国石化报;2001年
4 施明全 周保太;信息安全基石:密码[N];解放军报;2001年
5 许云霞;格式合同中造成对方人身伤害的免责条款无效[N];江苏经济报;2001年
6 本报记者 谌力;新宇:支撑起银行安全的核心[N];网络世界;2001年
7 王冬春;SSL和SET谁更有前途[N];中国计算机报;2002年
8 柴文娟;e时代的网络财务管理[N];中国计算机报;2002年
9 本报记者 胡英;在网络安全领域中国与世界同步[N];计算机世界;2002年
10 ;安全与隐私兼得[N];网络世界;2002年
中国博士学位论文全文数据库 前10条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
3 童华章;安全协议的研究与设计[D];浙江大学;2002年
4 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
5 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
6 尹勇;物理隔离理论与系统的研究及其在网络化制造中的实践[D];华中科技大学;2004年
7 马士超;实时数字安全处理器研究与设计[D];中国科学院研究生院(计算技术研究所);2006年
8 骆翔宇;多智能体系统的符号模型检测[D];中山大学;2006年
9 赵华伟;两种安全协议形式化理论的研究[D];山东大学;2006年
10 华东明;安全协议的形式化方法及其应用的研究[D];中国科学院研究生院(计算技术研究所);2005年
中国硕士学位论文全文数据库 前10条
1 曹卫兵;基于IPSec安全协议的网卡安全技术研究[D];西北工业大学;2001年
2 施娟;电子商务安全协议探讨[D];西南财经大学;2001年
3 杭波;新一代Internet网络层安全协议的研究与实现[D];哈尔滨工程大学;2003年
4 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
5 陈铁明;复杂安全协议的形式化分析、设计与验证研究[D];浙江工业大学;2004年
6 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院(软件研究所);2004年
7 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
8 张亚男;移动自组网路由安全协议的研究[D];中南大学;2004年
9 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
10 郭克华;基于第三方计算的移动商务安全协议[D];福州大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026