博士科研启动基金(BS14200901)
- 作品数：11 被引量：60H指数：5
- 相关作者：冯涛马建峰郭显袁占亭柯铭更多>>
- 相关机构：兰州理工大学西安电子科技大学福建师范大学更多>>
- 发文基金：博士科研启动基金国家自然科学基金甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信哲学宗教医药卫生更多>>
- 编码感知多跳无线网络安全路由协议被引量：5
- 2012年
- 分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。
- 郭显冯涛袁占亭
- 关键词：多跳无线网络安全路由协议形式化方法
- 用逻辑方法验证移动Ad Hoc网络协议被引量：1
- 2011年
- 针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义,分析网络协议属性.ELS2证明系统中,设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性.
- 郭显冯涛袁占亭马建峰
- 关键词：ADHOC网络形式逻辑
- 可证安全的无证书盲代理重签名被引量：4
- 2012年
- 利用双线性群,在代理重签名机制和盲签名机制的基础上,提出了一个有效的无证书盲代理重签名方案。方案中解决了密钥托管问题及证书管理带来的额外开销,同时实现了代理者在签名转换中消息隐私特性。基于NGBDH问题和Many-NGBDH的困难性,证明了新方案具有能够抵抗伪造攻击的特性。该方案满足正确性和消息盲性。
- 冯涛梁一鑫
- 关键词：无证书密码系统代理重签名盲签名双线性映射
- 协议组合逻辑安全的WiMAX无线网络认证协议被引量：7
- 2010年
- 国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境。
- 冯涛张子彬马建峰
- 关键词：无线网络WIMAX
- MANET节点不相交多路径安全源路由协议被引量：4
- 2009年
- 多路径路由实现是移动Adhoc网络(MANET)可靠运行的有效保证.现有MANET节点不相交多路径路由协议主要关注节点不相交多路径的可实现性和效率问题.针对节点不相交多路径路由协议MNDP协议在主动攻击者安全模型中的安全缺陷,提出了可证明安全的MANET节点不相交多路径动态源路由协议——SMNDP协议.SMNDP协议路由请求算法中,建立了中间节点路由请求消息传播策略的检错机制,SMNDP协议路由应答算法中建立了消息防篡改机制和身份认证机制.基于攻陷的网络拓扑模型,扩展了可模糊路由概念,提出了多路径可模糊路由集合概念和节点不相交多路径源路由协议的安全定义,并应用于SMNDP协议的安全分析.SMNDP协议的安全性可以归约为消息认证码和签名机制的安全性.
- 冯涛郭显马建峰李兴华
- 关键词：MANET可证明安全
- 安全的无可信PKG的部分盲签名方案被引量：15
- 2010年
- 利用gap Diffie-Hellman(GDH)群,在部分盲签名机制的基础上,提出了一个有效的基于身份的无可信私钥生成中心(PKG,private key generator)的部分盲签名方案。方案中PKG不能够伪造合法用户的签名,因为它只能生成一部分私钥。在随机预言模型下,新方案能抵抗适应性选择消息攻击和身份攻击下的存在性伪造,其安全性依赖于CDHP问题。该方案满足正确性和部分盲性,与Chow方案相比具有较高的效率。
- 冯涛彭伟马建峰
- 关键词：密钥托管双线性对部分盲签名
- 伯努利节点网络模型的拓扑鲁棒性分析方法被引量：3
- 2011年
- 基于网络连通和恢复能力提出连接鲁棒性和恢复鲁棒性两种测度指标,根据随机故障和恶意攻击两种网络失败类型将连接鲁棒性分为随机故障鲁棒性和恶意攻击鲁棒性,将恢复鲁棒性分为随机故障节点恢复鲁棒性、随机故障边恢复鲁棒性、恶意攻击节点恢复鲁棒性、恶意攻击边恢复鲁棒性,并给出了这六个测度指标的确切定义.利用这六个测度指标分析了伯努利节点网络模型的拓扑鲁棒性,得出不同情形下拓扑结构与这六个测度指标的关系,结果表明:无线网络平面拓扑结构的恶意攻击鲁棒性要优于层次拓扑结构,而其随机故障鲁棒性要劣于层次拓扑结构;平面拓扑结构的边恢复鲁棒性要优于层次拓扑结构,而其节点恢复鲁棒性要劣于层次拓扑结构.
- 冯涛李洪涛袁占亭马建峰
- 关键词：无线通信网络
- 基于本体的拜占庭攻击的建模及检测被引量：1
- 2011年
- 通过对拜占庭攻击的详细分析,根据其特征提出了基于本体论的拜占庭攻击模型.该模型从概念类、关系、推理3个方面对拜占庭攻击进行了描述,实现了对拜占庭攻击概念的通用表达,以及各节点之间的信息共享与协同合作.最后以一类特殊的拜占庭攻击overlaynetwork wormholes为实例,说明了该模型的有效性.
- 冯涛孙冠男夏彦晖马建峰
- 关键词：本体攻击检测
- 一种改进的基于RFID中间件的冗余数据清洗算法被引量：10
- 2013年
- 针对RFID中间件冗余数据处理问题,提出一种改进的基本临近有序法(SNM)算法.通过对大量RFID数据进行分组,采用随机因子改变窗口大小对数据进行清洗,并在算法的实现过程中采用循环处理方式.经实验证明该改进算法能有效提高数据处理效率,并在召回率和数据处理时间上均优于原SNM算法.
- 陈旭辉王馨柯铭
- 关键词：RFID中间件冗余数据数据清洗
- 癫痫患者默认网络的静息态功能磁共振成像研究被引量：3
- 2013年
- 目的:分析癫痫患者静息态fMRI下默认网络及其潜在结构的变化。方法:对15名临床诊断为原发全身强直痉挛癫痫患者和20名正常志愿者静息态时的fMRI数据进行独立成分分析,依据空间最佳匹配原则挑选独立成分,研究正常被试和癫痫患者的默认网络差异,并选定默认网络中11个脑区构建功能连接网络,运用图论和聚类方法探讨其潜在结构的改变。结果:与正常对照组相比,患者组默认网络的脑区激活普遍下降,功能连接网络发生明显变化,且整个网络呈现出混乱的层次化结构。结论:静息态下癫痫患者的默认网络及潜在的层次化结构发生异常。
- 张喆柯铭刘光耀杨晓萍陈旭辉
- 关键词：癫痫静息态默认网络层次化结构
