中国航空科学基金(2007ZD31003)
- 作品数：5 被引量：39H指数：5
- 相关作者：马建峰沈玉龙杜志强周利华崔西宁更多>>
- 相关机构：西安电子科技大学中航工业西安航空计算技术研究所教育部更多>>
- 发文基金：中国航空科学基金国家自然科学基金陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 综合化航空电子系统可信软件技术被引量：12
- 2009年
- 航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。
- 沈玉龙崔西宁马建峰牛文生
- 关键词：安全系统
- 无线异构网络中的切换预测算法被引量：10
- 2009年
- 针对当前移动终端在无线异构网络间切换不理想的问题,提出了一种终端预测的切换算法。给出了网络代价函数,归一化网络参数,网络参数预测算法和垂直切换基本流程来确保垂直切换的合理性。事实证明该算法可以有效地减少切换次数,提高系统的切换性能,改善网络的QoS。
- 康亚博许昆沈玉龙马建峰
- 关键词：无线异构网络垂直切换
- 一种实用的传感器网络广播认证协议被引量：5
- 2010年
- 由于Tree-BasedμTESLA协议随着网络中广播节点数量的增加产生大量开销,使其适用的网络规模受到限制.通过构造μTESLA参数链(μTESLA Parameters Hash Chain)和μTPC树(μTPC MerkleHash Tree),对Tree-BasedμTESLA协议进行改进,提出基于μTESLA参数链的传感器网络广播认证协议.分析和验证表明,该协议能够抵抗针对μTESLA参数分发过程的DoS攻击,较Tree-BasedμTESLA协议的计算、通信和存储开销小,能够立即撤销被俘节点的认证能力,且适用于大规模多广播节点传感器网络.
- 杜志强沈玉龙马建峰周利华
- 关键词：无线传感器网络广播认证网络安全
- 传感器网络异常时间同步数据过滤算法被引量：8
- 2008年
- 利用节点时间偏移的分布特性和时间同步数据的线性特征,使用概率统计中的样本空间估计理论和方法,设计时间同步数据过滤预测区间,提出基于线性回归的无线传感器网络数据过滤算法.该算法利用预测空间过滤异常时间同步数据,解决了因传感器网络数据错误率高且容易受到攻击而影响网络时间同步的难题.算法判定过程简单,避免针对异常数据而运行复杂的线性回归算法,有效降低节点的计算开销.仿真结果表明,该算法有效消除了异常数据对线性回归估计值的影响,提高了基于线性回归的传感器网络时间同步精度.
- 孙纪敏沈玉龙裴庆祺马建峰
- 关键词：无线传感器网络时间同步数据过滤
- 基于信息覆盖的无线传感器网络访问控制机制被引量：5
- 2010年
- 通过周期性地信息扩散,设计THC(two-hop cover)算法,使传感器节点能够在用户移动过程中及时得到用户的认证信息。基于THC算法,引入Merkle散列树和单向链等安全机制,采用分布式的访问控制模式,提出了适用于随机移动用户的传感器网络访问控制机制。分析和实验表明,本机制既适用移动用户,也适用静止用户,计算、通信、存储开销低,能够抵制节点捕获、重放、DoS等攻击。
- 杜志强沈玉龙马建峰周利华
- 关键词：无线传感器网络网络安全访问控制
