河南省科技攻关计划(102102210432)
- 作品数：11 被引量：28H指数：3
- 相关作者：邓淼磊王玉磊周利华邱罡黄照鹤更多>>
- 相关机构：西安电子科技大学南阳理工学院解放军信息工程大学更多>>
- 发文基金：河南省科技攻关计划国家自然科学基金南阳市科技攻关计划项目更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 对移动卫星通信系统密钥交换协议的改进
- 2010年
- 为了解决移动用户和移动卫星通信网络控制中心之间的会话密钥协商问题,对最近提出的一个通用可组合安全的移动卫星通信系统认证密钥交换协议进行了仔细分析。发现该协议的安全证明存在问题,该协议不是通用可组合安全和前向安全的,攻击者可以对协议进行数据同步攻击和密钥泄露伪装攻击。最后给出了改进方案以克服存在的安全缺陷,改进后的协议是通用可组合安全的。
- 邓淼磊侯迎春勒孚龙
- 关键词：移动卫星通信系统密钥交换通用可组合
- 标签不可追踪性验证改进模型
- 2010年
- 对标签不可追踪性的形式化验证模型进行了分析,发现对于某些无线射频识别(RFID)安全协议,该模型存在不能正确判断标签的不可追踪性是否成立的缺陷.为此提出了一个改进方案.对模型中攻击者执行的攻击游戏进行了修改,允许攻击者可以假冒读写器向标签发送信息,并增强了攻击者区分标签回复的能力.改进模型可以准确判断RFID协议中标签的不可追踪性.
- 王玉磊邓淼磊杨录山
- 关键词：无线射频识别标签不可追踪性
- 医疗传感器网络认证密钥交换协议
- 2010年
- 针对一个基于无线传感器网络的医疗监护系统的实际情况,分析了系统的安全需求.基于通用可组合安全模型,定义了医疗传感器网络认证密钥交换理想函数,该理想函数提供了强安全性和实用性.在传感器节点和基站之间,设计了一个通用可组合安全的认证密钥交换协议NB-AKE.NB-AKE协议使用伪随机函数原语实现.该协议提供匿名认证功能,并且具有前向安全性和并发安全性.新协议结构简单,通信量较低,节点端的计算负载较小.
- 邓淼磊黄照鹤鲁志波
- 关键词：无线传感器网络认证密钥交换协议通用可组合匿名
- EPCGen2标准下安全的RFID认证协议被引量：5
- 2010年
- 现有的许多无线射频识别(RFID)协议或者不符合EPC Class-1 Gen-2(EPCGen2)标准的要求,或者存在某种安全隐患。通过对RFID协议安全需求的讨论,以及对近来提出的符合EPCGen2标准的安全协议的分析,提出了符合EPCGen2标准的RFID认证协议的设计原则,设计了一个新的符合EPCGen2标准的RFID认证协议。新的协议满足双向认证、匿名、不可追踪、抗假冒攻击、抗重放攻击等安全需求。
- 邓淼磊黄照鹤鲁志波
- 关键词：无线射频识别
- 一种基于信息流的完整性保护模型被引量：3
- 2010年
- 针对可信计算需要保护运行时完整性度量的问题,提出一种基于主体完整性标识动态调整的完整性保护模型.基于Biba模型的严格完整性策略中主体访问的历史过程和客体的完整性标识,通过安全规则对主体的访问范围进行动态调节,以提高模型的可用性.最后,通过无干扰理论对模型的安全性进行了证明,从信息流的发送者和接收者之间的干扰关系上,验证了完整性保护模型的正确性.
- 邱罡王玉磊张新刚邓淼磊
- 关键词：信息流完整性访问控制无干扰可信计算
- 一种基于可信网络连接的度量模型
- 2011年
- 可信网络连接是构建可信网络环境的关键问题.通过对可信网络的架构和基本流程的分析,提出一种Z形式化方法对可信网络连接的理想化度量模型,并对可信网络连接的发展进行了展望.
- 侯迎春谢辉
- 关键词：可信网络连接
- 一种非线性BA模型研究
- 2011年
- 幂律分布是无标度网络的一个关键特性.在非线性BA模型理论的基础上,给出了图G*(m,N,β)的构造算法,并且在0<β<1、β>1和β→+∞3种形式下研究了该模型,获得了不同β取值条件下Pr[D=k]的分布规律.
- 闫用杰
- 关键词：无标度网络BA模型非线性
- 基于无干扰理论的完整性度量模型被引量：2
- 2010年
- 针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息流的无干扰理论,通过分析进程操作的完整性及进程间完整性的传递,从动态的角度对系统的运行完整性进行度量。对该模型进行形式化的描述和分析表明,该模型直观、易懂,且不局限于某种特定的实现方式。
- 邱罡王玉磊周利华
- 关键词：信息流无干扰可信计算远程证明
- 基于可信计算的Web单点登录方案被引量：7
- 2010年
- 为增强现有单点登录技术中用户域的安全性,在客户端平台引入可信平台模块(TPM),同时采用智能卡、口令及指纹相结合的客户端认证方案,实现了用户、客户端及智能卡间的相互认证,并保证了应用服务所提供的信息资源的安全使用。分析结果表明,该方案不要求用户与客户端预先协商信任关系,且可辨别客户端的主人和普通使用者。使用哈希函数的用户认证计算及推式平台完整性验证使得系统具有较高的运行效率。
- 邱罡张崇周利华
- 关键词：可信计算单点登录智能卡身份认证
- 通用可组合的RFID搜索协议被引量：8
- 2011年
- 为了解决对无线射频识别(RFID)标签的安全搜索问题,对RFID搜索协议的安全需求进行了分析.基于通用可组合模型,提出了RFID搜索理想函数.利用伪随机函数原语,设计了一个轻量级不需要后端数据库的RFID搜索协议.该搜索协议安全地实现了搜索理想函数的功能,能够满足隐私保护、匿名、不可追踪、防窃听攻击和并发安全性等要求.
- 曹峥邓淼磊
- 关键词：无线射频识别标签通用可组合
