刘晶
- 作品数：12 被引量：16H指数：2
- 供职机构：解放军理工大学通信工程学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家部委预研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种安全DSR协议的形式化分析方法被引量：2
- 2009年
- 目前安全DSR协议由于缺乏有效的形式化分析方法,难以发现一些隐蔽的安全漏洞。针对这一问题,通过分析DSR协议路由过程,给出了安全DSR协议的安全目标。提出了一种基于逻辑的安全DSR协议形式化分析方法,定义了能够反映安全DSR协议特性的基本逻辑构件(包括主体、目标和公式)和推理规则。首先用逻辑公式描述协议初始假设及过程,然后用推理规则进行推导产生推导结果,最后依据推导结果判断协议安全性。使用这种方法对SADSR协议进行了形式化分析与改进,发现了SADSR协议存在的安全漏洞。分析结果表明,提出的方法能够用于安全DSR协议形式化分析,能够发现一些较为隐蔽的安全缺陷。
- 刘晶伏飞肖军模
- 关键词：移动自组织网络安全路由协议形式化分析
- 一种新的安全协议形式化分析方法--证据逻辑被引量：1
- 2008年
- 形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比,该方法不仅能够用于认证协议、密钥协商(交换)协议的分析,也能用于电子商务协议的不可否认性和公平性的分析,因此具有更好的通用性和更强的协议分析能力。
- 陆阳肖军模刘晶
- 关键词：安全协议形式化分析
- ESR：一种能量有效的安全的传感器网络路由协议
- 安全问题和能耗问题是传感器网络路由协议设计所面临的两个重要挑战。早期提出的路由协议往往注重能耗问题而忽视了安全性;近年来提出的几种安全路由协议注重安全性却忽视了能耗问题。文章提出了一种能量有效的安全路由协议ESR。该协议...
- 伏飞刘晶
- 关键词：传感器网络路由协议路由安全
- 文献传递
- 扩展Meadows模型分析Ad Hoc网络路由协议安全性
- 2008年
- 目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.
- 刘晶伏飞肖军模
- 关键词：HOC网络安全路由协议形式化分析
- 基于代理的主动型网络取证系统被引量：2
- 2006年
- 针对数字证据特点和网络取证要求,设计实现了一种基于代理的主动型网络取证系统。该系统从入侵检测系统和主机系统等多数据源主动收集数字证据,通过完整性算法保证数字证据传输和存贮过程中的完整性。取证分析时,系统根据网络攻击各阶段时间与空间相关性,数据流时间与空间特征融合,数据流与数据包特征融合等多种技术手段实现多阶段网络攻击过程分析和攻击源定位。使用及鉴定结果表明,系统能够满足网络取证要求,能够正确有效地实现网络取证的各项功能。
- 戴江山肖军模陈波郑君杰刘晶
- 关键词：网络安全网络取证代理
- 一种基于动态建链推理的网络攻击过程分析方法被引量：1
- 2006年
- 提出一种动态漏洞链构造推理网络攻击过程的分析方法。以漏洞间推理关系为前提,从受害主机入手,构造有色加权有向图,在多日志中查找漏洞被利用的解释信息,并由查找结果对漏洞链动态剪枝,得到主机漏洞攻击链和攻击该受害主机的嫌疑主机,对嫌疑主机迭代分析,推理出网络漏洞攻击链。实例表明该方法能够快速有效地实现网络攻击过程分析,并且具有良好的可扩展性。
- 刘晶伏飞戴江山肖军模
- 关键词：网络取证
- 新的Adhoc网络安全路由协议
- 2009年
- 针对目前Adhoc网络安全DSR协议的安全性难以保证的现状,提出并证明了能够抵御active-1-y(y≥1)攻击的安全DSR所必须满足的一个充要条件,同时设计了一种新的安全DSR协议——ESDSR,并证明该协议满足上述充要条件。分析结果表明,与现有各种安全DSR协议相比,ESDSR不仅达到了抵御active-1-y攻击的安全目标,而且具有最低的资源开销,适用于Adhoc网络环境。
- 伏飞刘晶肖军模
- 关键词：ADHOC网络路由协议
- 基于角色的对OWL本体的访问控制模型被引量：5
- 2008年
- 本体是对共享概念明确的形式化规范说明,是语义Web实现的关键技术。当前语义Web缺乏对本体有效的访问控制手段,因此本体的发布必然会导致相关领域敏感信息的泄露。提出了一个基于角色的OWL本体访问控制模型,该模型充分利用了本体元素之间的语义关联性,对传统的RBAC模型进行了扩展,能够对OWL本体以及本体元素的访问实施有效地控制,同时也解决了OWL本体访问控制中推理泄露的问题。
- 陆阳肖军模刘晶
- 关键词：本体访问控制基于角色语义关联
- 一种基于IEEE 802.11 PSM的增强节能机制被引量：3
- 2006年
- 分析了IEEE802.11分布式协调功能的能量节省机制,针对其采用一种固定信号时隙的局限性,提出了一种自适应节能机制。新机制采用三种信号时隙,由节点根据自己的数据流量动态选择其中一种。仿真结果表明,此机制在保持较高的吞吐量的同时,不仅大幅地提高了能量利用率,还明显地降低了时延。
- 伏飞刘晶齐望东沈洋
- 关键词：IEEEADHOC网络
- 一种新的移动Ad hoc网络安全路由协议被引量：2
- 2007年
- Buttyan L.等指出了移动Ad hoc网络典型安全路由协议Aridane的缺陷,并提出了一种自称可以抵御ac- tive-1-y(y≥1)型攻击的路由协议EndairA。文章通过分析发现EndairA不能抵御一种active-0-1型攻击,即中间人攻击,并据此提出了一种新的安全路由协议EndairALoc。分析表明EndairALoc不仅保持了EndairA原有的安全性,而且还能够抵御中间人攻击和虫洞攻击。另外该协议采用对称密钥机制替代了EndairA中使用的公钥签名机制,降低了安全路由所需的能耗。
- 刘晶伏飞肖军模
- 关键词：ADHOC网络路由协议
