甘肃省自然科学基金(2007GS04823)
- 作品数：10 被引量：50H指数：4
- 相关作者：冯涛马建峰郭显彭伟王丽丽更多>>
- 相关机构：兰州理工大学西安电子科技大学福建师范大学更多>>
- 发文基金：国家自然科学基金甘肃省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 协议组合逻辑安全的4G无线网络接入认证方案被引量：9
- 2012年
- 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率。
- 王丽丽冯涛马建峰
- 关键词：4G
- 基于概率机制的涌现分簇算法
- 2012年
- 涌现分簇算法ACE是一类基于群体智能的移动Ad hoc网络分簇算法。针对ACE算法迭代中存在的问题,该文引入概率机制,提出了基于概率机制的涌现分簇算法(PACE)。该算法根据节点竞争簇头概率最高的局部信息,创建全局分簇网络,在概率相同的情况下,根据节点标识符来仲裁簇头选举,同时实现了单节点簇合并和失效恢复。理论分析和仿真结果表明,该算法收敛时间短,能够创建稳定且更优化的分簇结构,具备失效恢复能力。
- 冯涛瞿竞杰郭显
- 关键词：分簇算法移动ADHOC网络
- 安全的无可信PKG的部分盲签名方案被引量：15
- 2010年
- 利用gap Diffie-Hellman(GDH)群,在部分盲签名机制的基础上,提出了一个有效的基于身份的无可信私钥生成中心(PKG,private key generator)的部分盲签名方案。方案中PKG不能够伪造合法用户的签名,因为它只能生成一部分私钥。在随机预言模型下,新方案能抵抗适应性选择消息攻击和身份攻击下的存在性伪造,其安全性依赖于CDHP问题。该方案满足正确性和部分盲性,与Chow方案相比具有较高的效率。
- 冯涛彭伟马建峰
- 关键词：密钥托管双线性对部分盲签名
- 可证明安全的群组匿名认证密钥协商协议被引量：3
- 2011年
- 基于BDH困难问题,借鉴环签密方案的思想,提出了一种有效的群组匿名认证密钥协商方案。该方案首先在实现群组成员认证的前提下,协商出安全的会话密钥;对群组内外实现了不同程度的匿名,即群组之外的用户完全不能获悉参与协商的成员组成,群组内的成员了解参与协商的成员组成,但不能识别成员的身份信息;支持节点的动态群组密钥更新,实现了群组密钥的前向保密与后向保密;仅通过一轮交互确定会话密钥,降低了计算复杂性、减小了存储开销。
- 冯涛刘媛媛马建峰
- 关键词：匿名技术密钥协商协议网络协议
- 可证安全的无证书盲代理重签名被引量：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可证明安全
- 一种新的基于椭圆曲线密码体制的Ad hoc组密钥管理方案被引量：5
- 2009年
- 在安全的组通信中,组密钥管理是最关键的问题.论文首先分析了组密钥管理的现状和存在的问题,然后基于椭圆曲线密码体制,针对Ad hoc网络提出了一种安全有效的分布式组密钥管理方案,并对其正确性和安全性进行了证明,由椭圆曲线离散对数困难问题保证协议的安全.针对Ad hoc网络节点随时加入或退出组的特点,提出了有效的组密钥更新方案,实现了组密钥的前向保密与后向保密.与其他组密钥管理方案相比,本方案更加注重组成员的公平性,没有固定的成员结构,并且还具有轮数少、存储开销、通信开销小等特点,适合于在Ad hoc网络环境中使用.
- 冯涛王毅琳马建峰
- 关键词：组密钥管理离散对数
- 伯努利节点网络模型的拓扑鲁棒性分析方法被引量：3
- 2011年
- 基于网络连通和恢复能力提出连接鲁棒性和恢复鲁棒性两种测度指标,根据随机故障和恶意攻击两种网络失败类型将连接鲁棒性分为随机故障鲁棒性和恶意攻击鲁棒性,将恢复鲁棒性分为随机故障节点恢复鲁棒性、随机故障边恢复鲁棒性、恶意攻击节点恢复鲁棒性、恶意攻击边恢复鲁棒性,并给出了这六个测度指标的确切定义.利用这六个测度指标分析了伯努利节点网络模型的拓扑鲁棒性,得出不同情形下拓扑结构与这六个测度指标的关系,结果表明:无线网络平面拓扑结构的恶意攻击鲁棒性要优于层次拓扑结构,而其随机故障鲁棒性要劣于层次拓扑结构;平面拓扑结构的边恢复鲁棒性要优于层次拓扑结构,而其节点恢复鲁棒性要劣于层次拓扑结构.
- 冯涛李洪涛袁占亭马建峰
- 关键词：无线通信网络
- 基于本体的拜占庭攻击的建模及检测被引量：1
- 2011年
- 通过对拜占庭攻击的详细分析,根据其特征提出了基于本体论的拜占庭攻击模型.该模型从概念类、关系、推理3个方面对拜占庭攻击进行了描述,实现了对拜占庭攻击概念的通用表达,以及各节点之间的信息共享与协同合作.最后以一类特殊的拜占庭攻击overlaynetwork wormholes为实例,说明了该模型的有效性.
- 冯涛孙冠男夏彦晖马建峰
- 关键词：本体攻击检测
