收藏本站
《计算机与现代化》 2007年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于迹语义的网络安全协议形式化分析

冯珺珺  李光耀  江耘  
【摘要】:形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。运用此技术和模型检测器SPIN找到了两种针对TMN协议的攻击,证明了此方法的实用性,可方便地用于其它网络安全协议验证。

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前2条
1 徐伟;安全协议自动化分析系统的设计与实现[D];解放军信息工程大学;2009年
2 王敏飞;模型检测在安全协议验证中的研究与应用[D];南京航空航天大学;2009年
【参考文献】
中国期刊全文数据库 前1条
1 张焕明;;互联网防火墙安全技术研究及实现[J];微计算机信息;2006年24期
【共引文献】
中国期刊全文数据库 前10条
1 姜志高;;计算机防火墙安全应用的探索[J];才智;2011年25期
2 刘占文;赵裕国;王继成;潘飞;;基于Linux的IPv6网桥防火墙的实现技术[J];计算机安全;2008年06期
3 雷怀光;张振国;;防火墙技术在农业信息化网络中的应用[J];农业网络信息;2008年05期
4 郑超;张建勋;;Linux防火墙Netfilter-iptables扩展机制及应用研究[J];计算机与数字工程;2009年06期
5 李玉峰;杨婷;卜永波;;Linux下基于Netfilter/Iptables防火墙的研究与应用[J];内蒙古农业大学学报(自然科学版);2012年01期
6 杨振华;;基于WEB的企业仓库信息管理系统安全方案[J];南通纺织职业技术学院学报;2007年04期
7 刘伟铭;钱丽君;熊文华;;ITS共用信息平台网络安全策略研究[J];微计算机信息;2008年27期
8 刘军军;梁建武;;一种基于决策树的防火墙策略描述方法[J];微计算机信息;2008年33期
9 邓拥军;任爱风;陈国华;;校园网络防火墙的应用分析[J];网络安全技术与应用;2007年06期
10 董翔;杨淑华;;数字图书馆网络安全体系构筑研究[J];科技资讯;2008年04期
中国硕士学位论文全文数据库 前1条
1 刘军军;基于决策树的防火墙策略算法研究[D];中南大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
2 曾杰,谢晓尧;基于Petri网的安全协议形式化分析与验证[J];贵州科学;2004年03期
3 刘进;陈丹;肖德宝;;基于着色petri网的安全协议验证方法[J];华中师范大学学报(自然科学版);2006年03期
4 徐晋晖,张伟,路海明,石纯一;一种具有个性的Agent实现机制[J];计算机研究与发展;2001年06期
5 刘怡文,李伟琴;安全协议的形式化需求及验证[J];计算机工程与应用;2002年17期
6 毛中全;刘楠;顾纯祥;祝跃飞;;基于状态转移系统的安全协议形式模型[J];计算机工程;2008年13期
7 康小强,石纯一;基于BDI的多Agent交互[J];计算机学报;1999年11期
8 薛锐;冯登国;;安全协议的形式化分析技术与方法[J];计算机学报;2006年01期
9 肖美华;刘俏威;朱宜炳;;安全协议UML模型的SPIN分析[J];南昌大学学报(工科版);2008年02期
10 唐稚松;XYZ系统的设计思想[J];软件学报;1990年01期
【二级参考文献】
中国期刊全文数据库 前3条
1 铁满霞,谢延廷;网络安全体系结构研究[J];航空计算技术;1999年01期
2 刘克龙,蒙杨,卿斯汉;一种新型的防火墙系统[J];计算机学报;2000年03期
3 陈雷 ,张志刚,肖文曙 ,张玉军;IPv6防火墙的设计与实现[J];微计算机信息;2005年11期
【相似文献】
中国期刊全文数据库 前10条
1 朱宜炳;罗敏;;典型安全协议形式化分析工具比较[J];计算机与现代化;2008年05期
2 刘庆华;周小燕;;安全协议的形式化分析方法[J];光盘技术;2008年03期
3 谭新莲;李磊;;安全电子商务协议的形式化分析[J];数学爱好者(教育学术);2008年02期
4 肖美华;江耘;邓宸芳;马小薏;薛锦云;;网络安全认证协议形式化分析[J];计算机安全;2006年02期
5 卓继亮,李先贤,李建欣,怀进鹏;安全协议的攻击分类及其安全性评估[J];计算机研究与发展;2005年07期
6 肖美华;刘俏威;朱宜炳;;安全协议UML模型的SPIN分析[J];南昌大学学报(工科版);2008年02期
7 刘玉坤;张浩军;;基于模型检测的NS公钥认证协议分析[J];计算机与数字工程;2009年02期
8 蒋融融;陈铁明;;一个安全协议形式化分析工具的研究[J];计算机时代;2009年12期
9 付宇;马自堂;王惠芳;;安全协议形式化混合分析技术的研究与应用[J];计算机工程;2006年17期
10 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
中国重要会议论文全文数据库 前10条
1 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
3 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
4 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
5 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
6 王聪;王智学;;基于UML2.0的安全协议建模方法[A];江苏省系统工程学会第十一届学术年会论文集[C];2009年
7 顾永跟;傅育熙;朱涵;吕银华;;基于进程演算的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
9 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
10 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 律师潘家永;“安全协议”是学校的尚方宝剑吗[N];北京日报;2003年
2 于毅;美伊长期安全协议是一剂良药吗?[N];光明日报;2008年
3 蒋文峰;固安网改 无安全协议不开工[N];华北电力报;2000年
4 潘家永;所谓春游“安全协议”是学校的免责利器吗[N];中国教育报;2003年
5 林颖;欧盟最高法院一位资深人士向欧美航空安全协议“叫板”[N];人民法院报;2005年
6 通讯员 苗红俊;安全协议书让安全更有保证[N];人民铁道;2008年
7 许忠通讯员 王滢;吐哈指挥部实现安全协议全覆盖[N];中国石油报;2007年
8 潘家永;春游“安全协议”是学校的尚方宝剑吗[N];法制日报;2004年
9 陈南辉肖曙光;瑞金站公安派出所与村民签订安全协议书[N];人民铁道;2007年
10 驻京记者 王丹;中美合作重点:药品和医械进出口监管[N];医药经济报;2007年
中国博士学位论文全文数据库 前10条
1 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
2 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
3 邓淼磊;几类安全协议的研究与设计[D];西安电子科技大学;2010年
4 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
5 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
6 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
7 李俊霖;物联网传感网络安全协议形式化研究[D];云南大学;2011年
8 冯超;计算可靠的安全协议验证方法研究[D];国防科学技术大学;2011年
9 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
10 贾洪勇;安全协议的可组合性分析与证明[D];北京邮电大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
2 朱宜炳;安全协议UML模型的SPIN分析[D];南昌大学;2007年
3 黄瑛;SET协议支付过程分析及模型检测[D];贵州大学;2006年
4 袁建廷;鉴别协议的分析研究[D];西安电子科技大学;2008年
5 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
6 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
7 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
8 石昊苏;基于串空间模型分析与验证密码安全协议[D];中国科学院研究生院(软件研究所);2004年
9 邓珍荣;基于串空间模型的协议验证技术研究[D];广西大学;2005年
10 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026