黄河
- 作品数：10 被引量：12H指数：2
- 供职机构：中国人民解放军更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于状态扩展的安全协议验证机制被引量：1
- 2010年
- 基于模型检测验证协议的方法存在状态空间爆炸问题,其中基于目标绑定搜索状态空间的方法有效控制了状态空间,但不能完全给出协议的运行情况。针对这一问题,提出了一种基于状态扩展的安全协议自动化验证机制,首先对协议状态进行初始搜索,给出协议运行需要的事件,得到协议基本状态,然后进行扩展搜索,考虑基本状态与其他协议运行的关系,形成协议扩展状态。该机制能够有效反映出协议的运行情况,且能够同时对多种安全性质进行验证。
- 黄卿王亚弟韩继红范钰丹黄河
- 关键词：安全协议自动化验证
- Ad Hoc网络密钥管理方案综述被引量：4
- 2010年
- 密钥管理作为加密和认证的基础,在Ad Hoc网络安全中扮演着重要的角色。研究Ad Hoc网络的特点及面临的安全威胁,根据网络的通信方式,对Ad Hoc网络中的密钥管理方案进行分类,详细介绍具有代表性的方案的基本思想,并对其优缺点进行分析比较。最后对Ad Hoc网络密钥管理的难点和发展趋势进行了总结。
- 张小彬韩继红王亚弟黄河刘敏
- 关键词：ADHOC网络密钥管理组密钥
- 一种基于令牌环的密钥元更新方案
- 2008年
- 分析现有密钥元更新方案存在的问题,提出一种基于令牌环的密钥元更新方案,方案基于分簇AdHoc网络体系结构,包括门限更新和更新组扩展两个阶段。门限更新阶段由簇首发起,可以有效防止多个数字证书中心(CA)节点在同一更新期发起密钥元更新的冲突;第二阶段通过更新组完成其他CA节点的密钥元更新,减少网络风暴发生的概率。另外方案提出一种不同更新期密钥元冲突解决办法,借助NS2仿真工具证实了方案的有效性。
- 黄河王亚弟韩继红栗帅
- 关键词：AD令牌
- 分簇结构战术互联网中信任评估模型研究
- 2010年
- 通过对现有典型信任评估方案进行分析比较,提出了分簇战术互联网中基于隶属云理论的信任评估方案,给出了簇内信任和簇间信任的建立、合成与更新公式。方案基于分簇的网络结构,将大量的信任信息限制在簇内,有效减少了实体的存储和控制开销,降低了能量损耗,延长网络生存时间,更加适合于战术互联网环境。
- 刘敏韩继红王亚弟黄河
- 关键词：信任评估云理论
- 一种基于门限担保证书的分布式私钥元分配方案被引量：4
- 2008年
- 由于动态拓扑等特点,Ad Hoc网络通常采用分布式CA认证模型为节点提供可靠的认证服务,但现有的方案没有解决私钥元分配之前的安全审核问题。为此,提出了一种基于门限担保证书的分布式私钥元分配方案,对申请私钥元的节点进行严格的审核,可以有效防止多个恶意节点合谋重构系统私钥,确保只有可信且服务质量好的节点能够得到私钥元。从理论上分析了方案的安全性以及成功率,并借助NS2仿真证实了方案的有效性。
- 黄河王亚弟韩继红王衡军
- 关键词：ADHOC网络分布式
- Ad Hoc网络中的新型分布式证书撤销方案被引量：1
- 2008年
- 分析Ad Hoc网络中一些证书撤销方案的优缺点,提出一种新的分布式证书撤销方案,节点证书的有效性由节点的权值控制,使用单向哈希链认证控诉消息,利用自恢复区域方法广播控诉消息。不依赖于任何集中式或外部节点即可有效地撤销恶意节点的证书、防止合法节点证书的误撤销。定量分析了方案的可靠性。
- 黄河王亚弟韩继红
- 关键词：ADHOC网络哈希链
- CORBA与Java技术的结合及其在物流管理中的应用
- 2004年
- 使用CORBA与Java技术的结合可以很好地满足在Internet/Intranet中实现具有能够执行在线交易功能的客户机/服务器(C/S)结构.提供了一套具有开放界面规范的通用组件,并根据这些规范开发出交互式组件,从而在商业物流管理中实现不同种类数据和处理方法间的透明访问,此技术在实例中得到了很好应用.
- 李有力黄河史明霞费奇
- 关键词：分布式计算CORBAJAVA
- 基于预约的证书撤销通知方案
- 2008年
- 分析Ad Hoc网络中证书撤销通知方案的优缺点,提出一种基于预约的证书撤销通知方案。当节点的证书状态发生变化时能主动及时地把证书的最新状态通知给预约该证书状态的所有节点,通过单向哈希链实现预约及证书状态通知消息的认证,同时利用自恢复区域方法传播预约及证书状态通知消息,并运用Jini技术实现该方案。实验结果表明,该方案是有效的。
- 黄河王亚弟韩继红
- 关键词：ADHOC网络预约哈希链
- 战术互联网中分布式CA的研究与设计
- 网络技术的飞速发展有力地推动着军事领域的变革,未来作战部队的通信将更加依赖于信息连接而非地理连接。为打赢未来信息化战争,部队必须能够有效地利用信息以加快作战节奏、提高武器系统杀伤力、增强部队生存力。战术互联网正是为满足这...
- 黄河
- 关键词：战术互联网分簇分布式CA
- 文献传递
- Ad Hoc网络认证模型研究被引量：1
- 2008年
- Ad Hoc网络是由一组无线、移动的节点组成的一个临时性网络,不依赖于现有的基础设施或集中式管理,在军事及其它领域都有广泛的应用前景。认证作为Ad Hoc网络安全机制的一部分,扮演着极为重要的角色。研究了Ad Hoc网络的特点及面临的安全问题,根据采用的密码体制,对Ad Hoc网络中的认证模型进行了分类,详细介绍了Ad Hoc网络中具有代表性的一些认证模型思想,并分析比较了它们的优缺点及适用性。最后对Ad Hoc网络认证模型的难点及发展趋势进行了总结。
- 黄河王亚弟韩继红
- 关键词：ADHOC网络密码体制
