收藏本站
《计算机科学》 2009年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于语义的安全协议形式化模型

韩继红  范钰丹  王亚弟  郭渊博  
【摘要】:在分析实际网络环境中安全协议的运行特点之后,提出了安全协议建模分析的两点基本假设。在此基础上,提出了一种基于语义的安全协议形式化模型,具体包括基于角色事件的协议静态描述模型和基于运行状态的协议动态执行模型,给出了模型的基本语法及形式语义,明确了模型推理过程中涉及到的一些关键性概念,并以简化的NSL协议为例进行了说明,为实现自动化验证打下了必要的基础。

【引证文献】
中国期刊全文数据库 前2条
1 黄卿;王亚弟;韩继红;范钰丹;李大海;;基于事件顺序的时间戳协议处理[J];计算机工程;2010年23期
2 张迎周;刘玲玲;;信息流安全技术回顾与展望[J];南京邮电大学学报(自然科学版);2011年05期
【参考文献】
中国期刊全文数据库 前4条
1 季庆光,冯登国;对几类重要网络安全协议形式模型的分析[J];计算机学报;2005年07期
2 赵宇,王亚弟,韩继红;基于Spi演算的SSL3.0协议安全性分析[J];计算机应用;2005年11期
3 赵宇;袁霖;王亚弟;韩继红;;一种改进的Woo-Lam密码协议模型[J];计算机应用;2006年09期
4 张畅;王亚弟;韩继红;郭渊博;;一种改进的密码协议形式化模型[J];软件学报;2007年07期
【共引文献】
中国期刊全文数据库 前10条
1 王竹;戴一奇;叶顶锋;;普适安全的基于身份的签名机制[J];电子学报;2011年07期
2 潘强;;基于SSL技术实现网络通信双向加密[J];电脑编程技巧与维护;2012年16期
3 潘强;郭毅军;刘志;;基于SSL技术实现网络通信双向加密[J];信息安全与技术;2012年08期
4 张帆;马建峰;文相在;;通用可组合的匿名HASH认证模型[J];中国科学(E辑:信息科学);2007年02期
5 徐东红;齐勇;侯迪;;SPI演算规范的建模、实现验证研究[J];计算机科学;2007年10期
6 陈晨;朱文也;陈卫红;刘楠;;一种对MSR模型的新扩展[J];计算机工程;2010年08期
7 赵宇;袁霖;王亚弟;韩继红;;一种改进的Woo-Lam密码协议模型[J];计算机应用;2006年09期
8 赵宇;王亚弟;韩继红;范钰丹;赵琦;;一种基于问题求解理论的密码协议形式模型[J];计算机应用;2007年02期
9 郭宇燕;;安全协议的形式化分析方法初探[J];内江科技;2007年11期
10 陈锦花;李晓丽;;从网络层到应用层的搜索引擎防攻击体系研究[J];科技通报;2012年10期
中国博士学位论文全文数据库 前8条
1 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
2 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年
3 雷飞宇;UC安全多方计算模型及其典型应用研究[D];上海交通大学;2007年
4 张帆;无线网络安全协议的形式化分析方法[D];西安电子科技大学;2007年
5 冯涛;通用可复合密码协议理论及其应用研究[D];西安电子科技大学;2008年
6 黄展;宽带卫星网络安全协议研究[D];哈尔滨工业大学;2009年
7 马卓;无线网络可信接入理论及其应用研究[D];西安电子科技大学;2010年
8 彭清泉;无线网络中密钥管理与认证方法及技术研究[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 陈晨;安全协议形式化模型刻画与代数属性研究[D];解放军信息工程大学;2010年
2 李四海;公安(治安)举报管理信息系统[D];华东师范大学;2006年
3 赵文革;校园网络安全的改进[D];重庆大学;2006年
4 赵琳;无线局域网802.11b/11i协议安全机制研究[D];解放军信息工程大学;2006年
5 张畅;基于多重集重写的密码协议形式化分析技术研究[D];解放军信息工程大学;2006年
6 张岚;基于广义串空间模型的密码协议设计与分析的研究[D];解放军信息工程大学;2006年
7 张松林;打叶复烤企业的网络安全设计与实践[D];合肥工业大学;2007年
8 董军;安全协议形式化验证方法的研究[D];贵州大学;2007年
9 刘龙;基于帧转发的虚拟专用网安全接入的研究与实现[D];华中科技大学;2006年
10 赵宇;基于规划的密码协议自动化验证技术研究[D];解放军信息工程大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 王立斌;;基于类型系统的完整性信息流控制[J];华南师范大学学报(自然科学版);2006年03期
2 李梦君,李舟军,陈火旺;基于进程代数安全协议验证的研究综述[J];计算机研究与发展;2004年07期
3 晏立;刘青海;;一种访问权限管理的格模型[J];计算机工程与应用;2007年31期
4 丁志义;宋国新;邵志清;;类型系统与程序正确性问题[J];计算机科学;2006年01期
5 王亚弟;韩继红;朱玉娜;张超;赵娟;范钰丹;;具有计算可靠性的符号模型[J];计算机工程;2009年13期
6 谢钧,许峰,黄皓;基于可信级别的多级安全策略及其状态机模型[J];软件学报;2004年11期
7 郭宇;陈意云;林春晓;;一种构造代码安全性证明的方法[J];软件学报;2008年10期
8 谷千军;;信息流安全特性的语义模型研究[J];计算机工程与设计;2008年13期
9 李程程;张永胜;刘广钰;;一种安全的语义Web服务模型研究[J];计算机技术与发展;2010年02期
10 郭辉;;进程代数及其在性能评价中的应用综述[J];微计算机应用;2007年09期
中国博士学位论文全文数据库 前1条
1 陈波;基于信息流分析的安全系统验证[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前1条
1 阮小黎;基于模型检测的C语言安全信息流研究[D];清华大学;2007年
【二级引证文献】
中国期刊全文数据库 前1条
1 常朝稳;陈俊峰;秦晰;;不可靠网络环境下的数字时间戳服务研究[J];计算机应用;2012年01期
【二级参考文献】
中国期刊全文数据库 前3条
1 胡成军,郑援,吕述望,沈昌祥;安全协议的形式化规范[J];电子与信息学报;2004年04期
2 季庆光,冯登国;对几类重要网络安全协议形式模型的分析[J];计算机学报;2005年07期
3 刘怡文,李伟琴;网络支付协议的形式化安全需求及验证逻辑[J];通信学报;2004年04期
【相似文献】
中国期刊全文数据库 前10条
1 王惠斌;常青美;祝跃飞;;基于PDS的IKE安全协议形式化分析[J];河南师范大学学报(自然科学版);2007年03期
2 慕建君;;一种形式化分析安全协议的新模型[J];西安电子科技大学学报;2006年03期
3 付宇;马自堂;王惠芳;;安全协议形式化混合分析技术的研究与应用[J];计算机工程;2006年17期
4 刘玉坤;张浩军;;基于模型检测的NS公钥认证协议分析[J];计算机与数字工程;2009年02期
5 刘培,周明天;基于串空间的认证协议分析[J];实验科学与技术;2005年03期
6 胡声洲;余敏;彭文灵;;安全协议的关联性研究[J];计算机工程;2007年21期
7 韩金淑;张浩军;;改进CS逻辑的自动化分析工具实现[J];电脑知识与技术;2010年15期
8 周鹏;林华;;基于SVO逻辑的SNMP协议的改进及形式化分析[J];湖南科技学院学报;2011年08期
9 陈浩;程娜;何大可;;ISI支付协议的Strand Space模型及其公平性分析[J];信息安全与通信保密;2006年10期
10 李肖坚;赵沁平;;一种面向组播的双向身份鉴别与授权协议[J];计算机研究与发展;2006年11期
中国重要会议论文全文数据库 前10条
1 谢鸿波;周明天;;安全协议的形式化技术:述评[A];’2004计算机应用技术交流会议论文集[C];2004年
2 刘家芬;周明天;;对安全协议重放攻击的分类研究(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
3 胡蓉蓉;高晓东;姚晶晶;蒋友进;;基于AMEsim和Simulink仿真平台对空气弹簧隔振效果的研究[A];四川省第九届(2009年)汽车学术交流年会论文集[C];2009年
4 李超;潘建明;张相年;蒋琳兰;;阿司匹林建立大鼠胚胎畸形模型的研究[A];2009年中国药学大会暨第九届中国药师周论文集[C];2009年
5 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
6 朱诗兵;;模糊优选评估系统[A];1995中国控制与决策学术年会论文集[C];1995年
7 周立佳;;船基方式气象导航模拟训练系统[A];中国航海学会海洋船舶驾驶专业委员会天气与航海安全论文集[C];1997年
8 刘汉奎;吕寿坤;徐殿国;;应用于电子镇流器的高强度气体放电灯建模方法综述[A];第12届全国电气自动化与电控系统学术年会论文集[C];2004年
9 付兴方;李宗植;;可修复性航材修理间隔期的确定策略[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
10 马为民;胡维银;;论建立土壤侵蚀模型在水保方案编制中的作用[A];水土保持依法行政的理论与方法——中国水土保持学会预防监督专业委员会第六次会议暨学术研讨会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 记者 邵长春 特约记者 李玉峰 通讯员 青云;全国青少年航海模型总决赛在陵水举行[N];海南日报;2009年
2 潍坊中学 颜美平 毛韦清;巧思创新意,废物变模型[N];学知报;2011年
3 本报记者 傅莲英;第21届广州国际玩具及模型展集结鸣号[N];国际商报;2009年
4 范晓光 浙江省社会科学院社会学研究所;威斯康辛学派挑战“布劳-邓肯”的地位获得模型[N];中国社会科学报;2011年
5 本报记者 杨博;美证交会将审查标普评级模型[N];中国证券报;2011年
6 姜业庆;模型是关键:中国“宽客”启示录[N];中国经济时报;2011年
7 商务部国际贸易经济合作研究院欧洲所博士 朱一平;欧债危机有限解决方案长效机制初具模型[N];国际商报;2011年
8 CUBN 记者 孙先锋;用3i模型打动消费者[N];中国联合商报;2011年
9 宏飞 编译;Eqecat将公布三款调整后的灾难模型[N];中国保险报;2011年
10 记者 刘鹏;江西亿元打造“模型鄱阳湖”[N];人民长江报;2010年
中国博士学位论文全文数据库 前10条
1 鲁来凤;安全协议形式化分析理论与应用研究[D];西安电子科技大学;2012年
2 赵辉;安全协议形式化分析技术的研究[D];大连理工大学;2010年
3 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年
4 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
5 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
6 贾长青;椎间盘退变,营养途径,形态及细胞凋亡的实验性研究[D];中国医科大学;2003年
7 李贵孚;基于特征价格理论的我国有线数字电视产品价格模型研究[D];吉林大学;2007年
8 袁宝招;水资源需求驱动因素及其调控研究[D];河海大学;2006年
9 赵世刚;中国商业银行企业文化测度研究[D];大连理工大学;2007年
10 廖亚立;生命价值的动态评估方法与实证研究[D];中国地质大学(北京);2008年
中国硕士学位论文全文数据库 前10条
1 吴瑞龙;一种基于有色Petri网模型的安全协议检测技术的研究[D];广西大学;2005年
2 李文娟;安全移动商务协议分析与研究[D];大连理工大学;2007年
3 尹学永;调和两种观点的安全协议形式化分析方法研究[D];山东大学;2009年
4 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
5 李大科;手机银行安全协议设计与分析研究[D];河海大学;2004年
6 朱文也;安全协议形式化分析关键问题研究[D];解放军信息工程大学;2009年
7 陈强;安全协议的形式化分析研究[D];清华大学;2005年
8 吕银华;安全协议中的互模拟等价性验证[D];贵州大学;2006年
9 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
10 陈娴;RFID安全协议及加密算法研究[D];电子科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026