国家高技术研究发展计划(2012AA012704)
- 作品数：77 被引量：319H指数：10
- 相关作者：杜学绘陈性元张红旗杨英杰汪永伟更多>>
- 相关机构：解放军信息工程大学中国人民解放军信息工程大学北京交通大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划郑州市科技领军人才培育计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于模糊规则与免疫演化的报警关联方法被引量：1
- 2015年
- 针对现有基于人工免疫的关联分析方法在亲和力计算中的问题,提出了一种基于模糊规则与人工免疫的关联分析方法。该方法首先采用粗糙集理论对注入的疫苗和抗体结构进行优化,并对特征属性进行重要性评价,然后通过加权欧几里德距离度量特征向量与抗体的亲和力,以提高亲和力计算的效果与关联分析的精度。实验仿真结果表明,该方法在完备率和有效率等方面优于现有典型关联分析方法。
- 汪永伟赵荣彩张红旗刘育楠
- 关键词：人工免疫粗糙集
- 一种基于MapReduce的OpenFlow网络属性并行验证算法被引量：1
- 2016年
- 针对OpenFlow网络中流表配置错误引起的转发回路、路由黑洞和访问控制规则失效等问题,提出一种并行的基于MapReduce的OpenFlow网络属性验证算法。通过在map阶段划分规则等价类,在reduce阶段为规则等价类构建基于交换机端口谓词的网络转发图并分析可达性,实现对网络属性的并行验证。同时,通过采用原子谓词将传统可达性分析中的规则匹配域多维集合运算转换为整数集合运算,以进一步提高可达性分析效率;此外,基于原子谓词的谓词表达方式可消除交换机端口谓词集合中的冗余项,降低存储开销。最后,通过理论分析和仿真实验验证了算法的正确性及在时间和存储开销方面的优越性。
- 刘艺雷程张红旗杨英杰代向东
- 关键词：MAPREDUCE
- 一种面向聚类的加权特征选择算法被引量：1
- 2015年
- 针对面向聚类的特征选择算法效率和效果无法兼顾,并且对高维数据适用度不高的问题,提出了一种基于邻域分析的加权特征选择算法ENFSA。该算法首先基于信息熵构建候选特征集,降低加权特征选择的候选特征维度,在此基础上采用邻域分析法评估特征冗余度和相关性,并根据评估结果更新特征子集和权值向量,不断迭代,直至特征权值向量趋于稳定。在10种典型数据集上的测试结果表明,与传统的特征选择算法相比,新的算法特征约简效率较好,能够明显提高数据集聚类效果,同时在特征维度较高的数据集上依然表现出很好的效果。
- 刘帅杨英杰刘武越
- 关键词：聚类信息熵
- 基于污点标记的访问控制模型及其安卓实现
- 2014年
- 为保护移动操作系统平台中存储的用户隐私数据,提出一个基于污点标记的访问控制(TBAC)模型,并设计了一个基于污点跟踪的信息流控制框架(TIFC)。为数据添加污点标记,控制力度细化到数据;引入主体能力保证最小特权原则;主体能力独立于数据污染与可信去污防止污点积累。该模型与BLP模型相比更加可用、灵活与细粒度。该框架能细粒度地、灵活地、准确地实时跟踪并控制隐私信息的流向,并解决了程序执行中因控制流产生的隐蔽通道问题。
- 吴泽智陈性元杨智杜学绘
- 关键词：隐私安全访问控制
- 基于通用可重构处理器的A5算法优化设计实现
- 2017年
- 针对A5-1序列密码算法软件实现速度慢和硬件实现灵活性差的问题,采用时间映射Temporal Mapping和空间映射Spatial Mapping相结合的方法,根据流水线和并行优化设计思想,设计并实现基于通用可重构处理器GReP的A5-1序列密码算法,从提高PE计算并行度和降低PE中ALU计算的访存代价两方面进行优化设计。仿真结果表明,基于GReP实现的A5-1序列密码算法的性能是基于Intel Atom230处理器软件实现的5.2倍,是基于Temporal Mapping设计思想实现的2.2倍。
- 胡志言杜学绘曹利峰
- 关键词：线性反馈移位寄存器流水线
- 基于重构构件的安全协议重构择优技术研究
- 2014年
- 安全协议可重构实现是提升其安全性能和计算性能的有效方法。在深入分析大量现有安全协议体系结构的基础上,提出了一种基于可重构构件的安全协议高性能实现架构,并且针对该架构中可重构构件库择优优化这一关键问题,提出了一种择优方法。该方法基于改进的带权集合覆盖优化算法,结合启发式优化搜索思想,实现了安全协议可重构实现中优化资源使用与减少重构时间的目的。
- 李玲杜学绘包义保
- 关键词：安全协议
- 基于改进证据理论的态势评估方法被引量：6
- 2014年
- 证据理论是实现基于规则的态势感知主要方法之一。然而,证据理论在多源多证据合成时存在悖论问题。针对此问题,通过相异度计算对证据重要性度量与修正,提出了一种基于改进证据理论的态势评估方法,该方法包括规则度量、证据修正、规则融合和态势决策等四个阶段。实验表明,该方法能够避免利用证据理论进行态势融合中的悖论问题,在态势评估效率和准确性等方面优于Dempster、Yager和Leung等典型方法。
- 汪永伟刘育楠赵荣彩司成邱卫
- 关键词：相异度证据理论
- 一种基于会话管理的星间链路拥塞控制机制被引量：2
- 2016年
- LTP协议是一种适用于空间延迟容忍网络的传输协议,通过建立会话传输数据。针对星间链路数据传输过程中出现的拥塞问题,提出了一种基于LTP协议会话管理的拥塞控制机制SMCC,通过计算连通时间内会话开启的最大数量,限定LTP协议会话交付的数据量,减少链路的冗余数据,避免拥塞的发生;当拥塞不可避免时,通过下跳卫星对会话确认的反馈,调节会话窗口的大小,解除链路拥塞。仿真结果表明,和同类型的拥塞解除机制DCM、TBCC、FM相比,SMCC处理拥塞的效率最高,更适应星间链路数据传输环境。
- 张毅翟秀军杜学绘徐国愚
- 关键词：星间链路延迟容忍会话管理拥塞控制
- 一种基于子树交汇点的多子网拓扑发现算法被引量：1
- 2015年
- 准确、及时的网络拓扑信息对网络管理、协议设计和网络安全等领域工作具有重要意义。针对包含哑设备的大型、异构多子网拓扑发现问题,提出一种基于子树交汇点的物理拓扑发现算法。算法通过围绕子树交汇点,利用改进的连接信息扩展规则进行连接判定与信息推理补完,自顶向下的进行拓扑发现。理论分析与实验结果表明,该算法能够利用不完整的地址转发表构建出整个网络拓扑结构,在发现效率和准确性等方面都有了较大提高。
- 曾光陈性元杜学绘王超
- 关键词：物理拓扑交汇点
- 安卓隐私安全研究进展被引量：6
- 2014年
- 针对安卓移动操作系统平台,研究了在保护用户隐私数据方面已有的安全机制及其安全缺陷。从访问控制与信息流分析两方面出发,综合分析近年来安卓隐私安全增强工作的关键技术,对比了各类工作在高效性、正确性、灵活性和易用性等方面的优点和缺点;探讨了基于移动平台下安全模型的形式化分析与证明思想,并指出了未来可能的研究方向。
- 吴泽智陈性元杨智杜学绘
- 关键词：隐私数据访问控制信息流分析形式化方法
