国家高技术研究发展计划(2006AA01Z422)
- 作品数：10 被引量：40H指数：4
- 相关作者：刘建伟邵定蓉丁晓宇陈力琼张其善更多>>
- 相关机构：北京航空航天大学上海交通大学西安电子科技大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金武器装备预研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于OKS的无线传感器网络对偶密钥预分配方案
- 2008年
- 无线传感器网络(Wireless Sensor Networks WSNs)是由资源有限的传感器节点构成的无线网络。在传感器节点间建立对偶密钥是实现网络安全通信的基础。在本文中,我们提出了一种新的对偶密钥建立方案。本方案以六边形结构进行网络域分簇,利用节点的部署信息和重叠密钥共享(overlap key sharingOKS)思想给每个传感器节点预分配密钥信息。通过分析,本方案具有较高的抗节点俘获能力,能够有效减少存储开销,并提供灵活的安全等级。
- 丁晓宇刘建伟邵定蓉
- 关键词：无线传感器网络分簇
- 认证测试方法对TLS协议的分析及其应用被引量：3
- 2008年
- TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进,并证明改进后协议的正确性。
- 陈力琼陈克非
- 关键词：TLS协议串空间中间人攻击
- 不同密码体制下挑战-应答协议的分析被引量：7
- 2008年
- 挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据。同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值。
- 陈贤陈力琼阔永红
- 关键词：串空间对称密码体制非对称密码体制
- 新的传感器网络对偶密钥预分配方案
- 2009年
- 提出了一种新的基于超立方体和多项式的对偶密钥预分配方案,此方案以超立方体的维度和传感器节点编码的汉明距离为参数.方案具有如下特性:当任意两个邻居传感器节点间的汉明距离小于预先设定的门限值时,可以直接建立对偶密钥.该方案的创新在于将传感器节点间的汉明距离参数化,解决了以往方案只能在汉明距离为1时才能直接建立对偶密钥的限制,经过安全和性能的分析说明,当汉明距离门限值增大时,方案通过牺牲抗节点俘获能力可以提高直接对偶密钥建立概率,从而节省了对于传感器网络来说十分重要的能量消耗.
- 丁晓宇刘建伟邵定蓉
- 关键词：传感器网络多项式汉明距离
- 基于CPK的高效移动Ad Hoc网络密钥管理方案被引量：5
- 2008年
- 移动Ad Hoc网络具有的动态网络拓扑、无线链路的弱安全性、节点的有限物理保护和无中心基础结构等特性,使得它面临严重的安全问题。因此鲁棒的密钥管理服务是移动Ad Hoc网络的安全基础。提出了一个基于椭圆曲线组合公钥方案和门限密码系统的移动Ad Hoc网络密钥管理方案。本方案的主要创新点是提出了三层密钥管理模型,并基于此模型,提出了节点密钥生成、密钥份额分发、节点密钥更新、密钥份额更新和密钥撤销的具体实现。三层密钥管理模型实现较高的安全性和较低的密钥管理开销。与基于证书的和基于身份的密钥管理方案相比,本方案在安全性和效率方面更加适用于移动Ad Hoc网络。
- 丁晓宇刘建伟邵定蓉刘淳
- 关键词：组合公钥门限密码移动AD
- WSNs中轻量级密钥管理方案设计被引量：4
- 2007年
- 无线传感器网络节点资源有限的特点和通信方式决定了这种网络容易受到攻击.节点之间通过加密通信数据和认证的方式来保证通信的保密性、完整性和可用性,密钥管理是实现网络安全的关键基础.分析了无线传感器网络中的密钥管理方案,提出了一种基于EBS的密钥管理方案,能够安全高效的对传感器网络中的密钥进行更新.分析表明,该方案具有安全性高、计算量小的特点,也节省了网络的计算和存储资源.
- 杜大海刘建伟张其善李晓白
- 关键词：无线传感器网络密钥更新
- EAP-TTLS认证及其在WiMAX网络中的应用
- 2010年
- 首先指出了传统的基于口令的挑战应答机制在无线网络认证中的缺点,在此基础上引出了EAP-TTLS协议,分析了EAP-TTLS协议的网络架构及其认证流程,主要对其隧道认证、密码组建协商,密钥材料交换和密钥体系架构进行了深入研究。最后通过对EAP与EAP-TTLS比较,依据EAP-TTLS的优点,结合WiMAX网络的特点,提出了EAP-TTLS协议在WiMAX网络中应用,并对其可行性作了详细分析。
- 郭旭东刘建伟
- 关键词：密钥管理WIMAX
- 卫星信道编码技术及新发展被引量：20
- 2008年
- 文中首先对卫星通信的信道特性进行分析,然后对广泛采用的卫星信道编码技术进行了描述和评价,重点讨论并分析了Turbo码、LDPC码、编码调制技术、串行级联编码和喷泉编码等新型信道编码技术的实现原理及性能,列举了各种新型信道编码技术在卫星系统中的应用情况及主要优点、不足。最后,展望了卫星信道编码技术的新发展方向。
- 杨友福刘建伟张其善田甜宫晓妍
- 关键词：信道编码TURBO码LDPC码编码调制
- 高效的无线传感器网络对偶密钥预分配方案
- 2009年
- 无线传感器网络WSNs(Wireless Sensor Networks)是由资源有限的传感器节点构成的无线网络。在传感器节点间建立对偶密钥是实现网络安全通信的基础。文中提出一种基于网格结构和多项式的对偶密钥建立方案。与已有的方案相比,该方案具有较高的抗节点俘获能力、全网络连通性、较高的网络可扩展性和无通信负荷的优点。
- 丁晓宇刘建伟邵定蓉
- 关键词：无线传感器网络多项式网格
- 基于消息匹配的认证协议分析被引量：1
- 2008年
- 为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消息和主体知识集中的变量进行赋值,并匹配消息中已被确定的常量,以此找出具体的攻击路径。同时,结合认证测试方法简化分析步骤,针对分析过程对协议进行有效的改进。
- 陈力琼陈克非
- 关键词：串空间知识集
