基于计算语义的安全协议验证逻辑

发布时间：2018-01-14 01:35

  本文关键词：基于计算语义的安全协议验证逻辑　出处：《电子学报》2014年06期 　论文类型：期刊论文

  更多相关文章： 加密算法 安全性 形式逻辑 计算语义

【摘要】：提出了一个基于计算语义的安全协议验证逻辑,能准确描述安全协议中的各种计算行为和通信行为.设计了基于该逻辑的证明系统,能对密码学中常用加密算法的各类安全属性规范直接描述,具有密码学可靠性.发现了计算协议组合逻辑在加密算法安全性建模时存在的不可靠性,并提出了解决方法.通过对Needham-Schroeder-Lowe协议安全性的证明,验证了逻辑的证明能力.与大部分验证方法不同的是,本逻辑属于由密码学算法安全性到协议安全性的正向推理方法,兼具符号方法的易用性和计算方法的可靠性.
[Abstract]:This paper presents a security protocol verification logic based on computational semantics , which can accurately describe various computing behaviors and communication behaviors in security protocols . The proof system based on the logic is designed . It can be directly described for various kinds of security attribute specifications of commonly used encryption algorithms in cryptography , and it has cryptographic reliability .

【作者单位】： 国防科技大学电子科学与工程学院;中国洛阳电子装备试验中心;
【基金】：国家自然科学基金(No.61301236,No.61303061)
【分类号】：TN918.4
【正文快照】： 1引言安全协议是一种特殊形式的分布式软件,与其他形式的软件相比,安全协议除了要保证正确性外,更需要保证安全性,即在任何输入的情况下,协议都满足安全规范.如何使用形式化方法对已有协议的安全性进行准确、高效的分析和验证成了国内外相关领域的热点研究问题.经过了近30年的

【参考文献】

相关期刊论文 前2条

1 张畅;王亚弟;韩继红;郭渊博;;一种改进的密码协议形式化模型[J];软件学报;2007年07期

2 董玲;陈克非;来学嘉;;密码协议分析的信任多集方法[J];软件学报;2009年11期

【共引文献】

相关期刊论文 前3条

1 程正杰;陈克非;来学嘉;;基于细粒度新鲜性的密码协议分析[J];北京大学学报(自然科学版);2010年05期

2 韩继红;范钰丹;王亚弟;郭渊博;;一种基于语义的安全协议形式化模型[J];计算机科学;2009年02期

3 陈晨;朱文也;陈卫红;刘楠;;一种对MSR模型的新扩展[J];计算机工程;2010年08期

相关博士学位论文 前1条

1 黄展;宽带卫星网络安全协议研究[D];哈尔滨工业大学;2009年

相关硕士学位论文 前3条

1 王恩俊;一种基于BAN类逻辑的安全协议分析方法及其自动化实现[D];浙江大学;2011年

2 陈晨;安全协议形式化模型刻画与代数属性研究[D];解放军信息工程大学;2010年

3 程正杰;基于细粒度新鲜性的密码协议分析[D];上海交通大学;2010年

【二级参考文献】

相关期刊论文 前1条

1 季庆光,冯登国;对几类重要网络安全协议形式模型的分析[J];计算机学报;2005年07期

【相似文献】

相关期刊论文 前10条

1 叶燕;数据安全传输及加密技术的研究[J];宜春学院学报;2005年02期

2 石福斌;;移动通信系统接入安全机制[J];哈尔滨理工大学学报;2006年06期

3 贺金平;吕杨;;基于蓝牙Ad hoc网络安全机制的研究与加密设计[J];自动化技术与应用;2007年06期

4 张培;;浅谈PKC体制及一种重要算法的实现[J];山西电子技术;2007年05期

5 潘瑜;密码体制及加密传输方式比较研究[J];常州信息职业技术学院学报;2004年04期

6 刘自伟;罗燕琪;段琦;;加密算法与密钥生成技术在数据库加密中的应用[J];计算机时代;2007年06期

7 孔雪莲;;浅谈无线局域网中的安全及黑客防范[J];电脑知识与技术(学术交流);2007年13期

8 谢慎波;;信息加密在网络安全中的应用[J];科技经济市场;2007年09期

9 黄贵微;李小文;;安全模式控制过程在TD-SCDMA终端RRC子层的实现[J];通信技术;2007年12期

10 陈伟;鲍慧;;IMS网络拓扑隐藏及其加密算法的研究[J];通信技术;2008年03期

相关会议论文 前10条

1 孙树峰;黄松;;基于混沌的无线安全技术[A];全国计算机安全学术交流会论文集（第二十二卷）[C];2007年

2 张U，

本文编号：1421489