面向密码协议在线安全性的监测方法

发布时间：2017-10-07 01:25

  本文关键词：面向密码协议在线安全性的监测方法

  更多相关文章： 密码协议识别 会话重构 在线安全性 本体 子空间聚类

【摘要】：为解决现有方法无法在线监测协议逻辑进行的低交互型攻击的问题,提出一种密码协议在线监测方法CPOMA。首先构建面向密码协议的特征项本体框架,以统一描述不同类型的特征项,并基于该框架首次利用模糊子空间聚类方法进行特征加权,建立个体化的密码协议特征库;在此基础上给出自学习的密码协议识别与会话实例重构方法,进而在线监测协议异常会话。实验结果表明,CPOMA不仅能够较好地识别已知协议、学习未知协议、重构会话,而且能够有效在线监测协议异常会话,提高密码协议在线运行的安全性。
【作者单位】： 解放军信息工程大学三院;解放军91033部队;
【关键词】： 密码协议识别 会话重构 在线安全性 本体 子空间聚类
【基金】：国家自然科学基金资助项目(No.61309018)~~
【分类号】：TP393.08
【正文快照】： 1引言密码协议是互联网各种核心安全服务可靠运行的重要支撑,其安全性分析方法一直是信息安全领域的关键问题。传统方法通过形式化分析或自动化验证来监测协议自身缺陷,需要基于特定的攻击者模型和若干假设,只能给出理想情况下的安全性分析结果,对于协议运行过程中的某些动态

【相似文献】

中国期刊全文数据库 前10条

1 钱勇,张勇,白英彩;密码协议基于遍历的分析方法[J];计算机工程;2001年03期

2 束妮娜,王亚弟;密码协议的归纳证明方法[J];计算机工程;2001年10期

3 张玉清;吴建平;李星;;模型检测技术和密码协议分析[J];计算机科学;2001年08期

4 刘怡文,李伟琴;密码协议的分层安全需求及验证[J];北京航空航天大学学报;2002年05期

5 秦超,陈钟,段云所;基于合一替换推理的密码协议分析[J];计算机工程;2002年07期

6 何成,王尚平,王晓峰;一种分析密码协议的新逻辑[J];计算机工程与应用;2003年30期

7 束妮娜,王亚弟;密码协议的设计准则[J];计算机工程;2003年01期

8 郑明磊,李建华,张少俊;一种互认证密码协议的设计和分析[J];上海交通大学学报;2003年06期

9 刘怡文,李伟琴,冯登国;密码协议的一种基于组合推理的模型验证[J];通信学报;2003年09期

10 姬东耀;冯登国;;对两个双方密码协议运行模式的攻击及改进[J];计算机科学;2003年06期

中国重要会议论文全文数据库 前6条

1 戴丹;;密码协议安全性分析的逻辑方法[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

2 李亚敏;帅飞;高鑫鑫;;几种密码协议验证工具的比较和分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

3 张岚;余昭平;;后继攻击以及它的应用[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年

4 杨扬;李祥;;一种用于Web服务的密码协议及实现[A];2005年全国理论计算机科学学术年会论文集[C];2005年

5 马英杰;肖丽萍;何文才;李彦兵;;用BAN逻辑方法分析TLS协议[A];中国通信集成电路技术与应用研讨会论文集[C];2004年

6 许剑卓;戴英侠;左英男;;BAN逻辑成立的前提[A];第14届全国计算机安全学术交流会论文集[C];1999年

中国博士学位论文全文数据库 前10条

1 周志勇;密码协议攻击规划理论及算法研究[D];解放军信息工程大学;2009年

2 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年

3 王全来;密码协议的形式化分析方法研究[D];解放军信息工程大学;2009年

4 张俊伟;密码协议的可组合安全[D];西安电子科技大学;2010年

5 冯涛;通用可复合密码协议理论及其应用研究[D];西安电子科技大学;2008年

6 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年

7 董玲;密码协议工程与基于新鲜性的协议安全研究[D];上海交通大学;2008年

8 张恩;理性信息交换密码协议若干模型及应用研究[D];北京工业大学;2013年

9 曹木亮;基于π-演算的Petri网和密码协议的形式化分析[D];上海交通大学;2007年

10 田有亮;分布式密码协议及公平性研究[D];西安电子科技大学;2012年

中国硕士学位论文全文数据库 前10条

1 杜衡;理性密码协议及其应用研究[D];上海交通大学;2009年

2 龙军;关于密码协议形式化验证方法的研究[D];国防科学技术大学;2003年

3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年

4 赵宇;基于规划的密码协议自动化验证技术研究[D];解放军信息工程大学;2007年

5 张畅;基于多重集重写的密码协议形式化分析技术研究[D];解放军信息工程大学;2006年

6 袁亚飞;逻辑化方法的改进及若干密码协议安全性分析[D];中国人民解放军信息工程大学;2005年

7 张岚;基于广义串空间模型的密码协议设计与分析的研究[D];解放军信息工程大学;2006年

8 张铁钢;三方密码协议的形式化分析研究[D];解放军信息工程大学;2006年

9 李晨;关于密码协议的形式化分析方法的研究[D];电子科技大学;2010年

10 程华清;密码协议安全性分析的逻辑方法及其哲学意蕴[D];华东师范大学;2015年

，

本文编号：986146