伏飞

作品数：9被引量：11H指数：2
导出分析报告
供职机构：解放军理工大学指挥自动化学院计算机系更多>>
发文主题：HOC网络安全路由协议AD传感器网络形式化分析更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《电子科技大学学报》《通信学报》《计算机工程》《应用科学学报》更多>>
所获基金：国家自然科学基金江苏省自然科学基金国家部委预研基金中国人民解放军总装备部预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实现位置及时间绑定的密钥分发——防御传感器网络节点复制攻击的新方法被引量：6
《通信学报》2010年第4期16-25,共10页伏飞 齐望东 
总装"十一五"预先研究基金资助项目(41101040402)~~
提出了一种新的防御思路:通过使复制节点无法与邻居节点建立成对密钥的方式,来达到消除复制节点攻击威胁的目的,由此设计了一种基于多项式的成对密钥分发方法LTB(location and time binding)。LTB把每个节点的密钥信息与其部署位置和时...
关键词：无线传感器网络 节点复制攻击 密钥分发 
一种安全DSR协议的形式化分析方法被引量：2
《解放军理工大学学报（自然科学版）》2009年第5期423-429,共7页刘晶 伏飞 肖军模 
国家自然科学基金资助项目(69931040)
目前安全DSR协议由于缺乏有效的形式化分析方法,难以发现一些隐蔽的安全漏洞。针对这一问题,通过分析DSR协议路由过程,给出了安全DSR协议的安全目标。提出了一种基于逻辑的安全DSR协议形式化分析方法,定义了能够反映安全DSR协议特性的...
关键词：移动自组织网络 安全路由协议 形式化分析 攻击 
新的Adhoc网络安全路由协议
《电子科技大学学报》2009年第3期389-392,共4页伏飞 刘晶 肖军模 
部级预研项目
针对目前Adhoc网络安全DSR协议的安全性难以保证的现状,提出并证明了能够抵御active-1-y(y≥1)攻击的安全DSR所必须满足的一个充要条件,同时设计了一种新的安全DSR协议——ESDSR,并证明该协议满足上述充要条件。分析结果表明,与现有各...
关键词：AD HOC网络 攻击 路由协议 安全 
扩展Meadows模型分析Ad Hoc网络路由协议安全性
《应用科学学报》2008年第3期250-256,共7页刘晶 伏飞 肖军模 
国家自然科学基金(No.69931040);总装十一五预研项目(No.41101040402)资助项目
目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产...
关键词：Ad HOC网络 安全路由协议 形式化分析 
Ad Hoc网络安全路由协议形式化分析模型被引量：1
《解放军理工大学学报（自然科学版）》2008年第3期215-221,共7页刘晶 伏飞 肖军模 
国家自然科学基金资助项目(69931040);国家部委预研基金资助项目(41101040402)
为了能够对Ad Hoc网络安全路由协议进行有效的安全性证明,需要形式化的分析方法。针对目前缺乏有效方法的现状,结合Ad Hoc网络安全路由协议特点,利用图论理论,对传统安全协议分析方法Mead-ows模型进行扩展,扩展后的Meadows模型具有了路...
关键词：AD HOC网络 安全路由协议 形式化分析 
一种不可否认协议形式化设计方法
《计算机工程》2008年第4期164-166,共3页刘晶 伏飞 肖军模 陆阳 
国家自然科学基金资助项目(69931040);江苏省自然科学基金资助项目(BK2004015)
针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可...
关键词：不可否认协议 形式化设计 逻辑 可信第三方 
一种新的移动Ad hoc网络安全路由协议被引量：1
《计算机科学》2007年第10期88-89,109,共3页刘晶 伏飞 肖军模 
国家自然科学基金(69931040);江苏省自然科学基金(BK2004015)
Buttyan L.等指出了移动Ad hoc网络典型安全路由协议Aridane的缺陷,并提出了一种自称可以抵御ac- tive-1-y(y≥1)型攻击的路由协议EndairA。文章通过分析发现EndairA不能抵御一种active-0-1型攻击,即中间人攻击,并据此提出了一种新的安...
关键词：AD HOC网络 安全 路由协议 攻击 
一种基于IEEE 802.11 PSM的增强节能机制被引量：1
《电子科技大学学报》2006年第6期883-886,共4页伏飞 刘晶 齐望东 沈洋 
分析了IEEE802.11分布式协调功能的能量节省机制,针对其采用一种固定信号时隙的局限性,提出了一种自适应节能机制。新机制采用三种信号时隙,由节点根据自己的数据流量动态选择其中一种。仿真结果表明,此机制在保持较高的吞吐量的同时,...
关键词：IEEE 802.11节能机制 AD HOC网络 信号时隙 能量利用率 
一种基于动态建链推理的网络攻击过程分析方法被引量：1
《电子科技大学学报》2006年第5期819-822,共4页刘晶 伏飞 戴江山 肖军模 
国家自然科学基金资助项目(69931040)
提出一种动态漏洞链构造推理网络攻击过程的分析方法。以漏洞间推理关系为前提,从受害主机入手,构造有色加权有向图,在多日志中查找漏洞被利用的解释信息,并由查找结果对漏洞链动态剪枝,得到主机漏洞攻击链和攻击该受害主机的嫌疑主机,...
关键词：网络取证 攻击分析 漏洞链 安全 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部