检索结果-内蒙古大学图书馆

计算机应用 2016年第3期36卷 661-664,702页

作者：曹旭费金龙祝跃飞数学工程与先进计算国家重点实验室(信息工程大学) 郑州450002

针对传统主机操作系统抗识别技术整体防御能力不足的问题,提出一种基于网络欺骗的操作系统抗识别模型（NDAF）。首先,介绍模型的基本工作原理,由网络内的欺骗服务器制定欺骗指纹模板,各主机根据欺骗模板动态改变自己的协议栈指纹特征,... 详细信息

针对传统主机操作系统抗识别技术整体防御能力不足的问题,提出一种基于网络欺骗的操作系统抗识别模型（NDAF）。首先,介绍模型的基本工作原理,由网络内的欺骗服务器制定欺骗指纹模板,各主机根据欺骗模板动态改变自己的协议栈指纹特征,实现对攻击者操作系统识别过程的欺骗;其次,给出一种信任管理机制,依据威胁大小不同,有选择地对外部主机开展欺骗。实验测试表明,NDAF会给其网络通信带来一定的影响,但所产生的额外开销相对稳定,约为11%-15%,与典型的操作系统抗识别工具OSfuscate和IPmorph相比,NDAF操作系统抗识别能力较强。所提模型通过网络的一体化、欺骗性防御,能够有效提高目标网络防御水平。

关键词：操作系统识别网络欺骗主动防御欺骗防御

来源：评论

学校读者我要写书评

暂无评论

用于细粒度完整性度量的非平衡二叉哈希树模型

引用

小型微型计算机系统 2014年第7期35卷 1604-1609页

作者：朱毅李清宝钟春丽王炜解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

莫克尔哈希树是一种维护完整性信息的经典模型,在可信计算与软件防篡改领域应用广泛.莫克尔哈希树的构建基于满二叉树,实际应用时经常需要进行数据填充操作,易造成时空开销浪费.基于数学建模方法,对消除冗余节点后的莫克尔哈希树进行建... 详细信息

莫克尔哈希树是一种维护完整性信息的经典模型,在可信计算与软件防篡改领域应用广泛.莫克尔哈希树的构建基于满二叉树,实际应用时经常需要进行数据填充操作,易造成时空开销浪费.基于数学建模方法,对消除冗余节点后的莫克尔哈希树进行建模分析,提出一种以非平衡二叉树为基础的改进哈希树模型.该模型的树节点数量可根据实际需求动态增加,空间利用率高.实验结果表明,改进哈系树模型空间开销减少约25%;树构建过程时间开销减少约8%,且该模型不需要预先分配存储空间,特别适用于数据量动态增加对象的完整性保护.

关键词：信息系统安全可信计算完整性度量莫克尔哈希树非平衡二叉树

来源：评论

学校读者我要写书评

暂无评论

基于多子网交汇点的以太网物理拓扑发现算法

引用

计算机科学 2014年第5期41卷 173-177,195页

作者：曾光陈性元杜学绘王超解放军信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

首先介绍了目前以太网物理拓扑发现的主要算法及存在的问题,然后提出了一种基于多子网交汇点的拓扑发现算法。算法围绕交汇点和利用最小需求地址转发表信息来推理、约简和建立物理拓扑连接关系。结合一种典型的多子网拓扑进行了算法推... 详细信息

首先介绍了目前以太网物理拓扑发现的主要算法及存在的问题,然后提出了一种基于多子网交汇点的拓扑发现算法。算法围绕交汇点和利用最小需求地址转发表信息来推理、约简和建立物理拓扑连接关系。结合一种典型的多子网拓扑进行了算法推导。理论与应用分析表明,该算法能够利用不完整的地址转发表构造出整个网络拓扑结构,在发现效率和准确性等方面都有了较大提高,适用于解决包含哑设备的大型、异构的多子网拓扑发现问题。

关键词：物理拓扑子网连接树交汇点最小需求地址转发表

来源：评论

学校读者我要写书评

暂无评论

一种支持跨幅访存的向量化代码生成方法

引用

计算机科学 2015年第5期42卷 194-199,203页

作者：李朋远赵荣彩高伟张庆花信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

随着SIMD扩展部件的迅速发展,自动向量化工具已逐渐成熟。现阶段的工具能对连续访存程序进行较好的处理,然而,大部分非连续访存的多媒体程序并不能被转换为高效的向量化代码。提出并实现了一种支持跨幅访存的向量化代码生成方法,其利用... 详细信息

随着SIMD扩展部件的迅速发展,自动向量化工具已逐渐成熟。现阶段的工具能对连续访存程序进行较好的处理,然而,大部分非连续访存的多媒体程序并不能被转换为高效的向量化代码。提出并实现了一种支持跨幅访存的向量化代码生成方法,其利用目标系统已有的基本数据处理指令实现多个向量间的任意重组来解决含有非连续访存语句的向量化代码生成问题。经过实验分析和验证,提出的代码生成方法能够将含有跨幅访存的语句转化为面向目标系统的高效向量化代码,以提高程序执行效率。

关键词：代码生成跨幅访存向量化数据重组

来源：评论

学校读者我要写书评

暂无评论

支持中国墙策略的云组合服务信息流控制模型

引用

计算机应用 2018年第2期38卷 310-315页

作者：刘明聪王娜信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

由于所属服务提供商在商业上的竞争关系,云组合服务的组件服务之间可能存在利益冲突,必须对云组合服务的信息流进行控制以避免敏感信息在冲突组件服务间流动。针对云组合服务中的利益冲突问题,在构建云组合服务加权有向图模型的基础上,... 详细信息

由于所属服务提供商在商业上的竞争关系,云组合服务的组件服务之间可能存在利益冲突,必须对云组合服务的信息流进行控制以避免敏感信息在冲突组件服务间流动。针对云组合服务中的利益冲突问题,在构建云组合服务加权有向图模型的基础上,形式地描述了复杂组合结构下的信息流,定义了云服务的联盟关系与数据的依赖关系的概念,并将中国墙策略中的冲突关系扩展为组合冲突关系。在此基础上,提出了一种支持中国墙策略的云组合服务信息流控制模型(CW-CCSIFC),给出了模型的形式化描述及相关定理的证明。分析表明,CW-CCSIFC模型可以防止有利益冲突的云服务间的非法信息流动,保护云组合服务的信息流安全。

关键词：云服务服务组合信息流利益冲突中国墙策略

来源：评论

学校读者我要写书评

暂无评论

基于图分析和支持向量机的企业网异常用户检测

引用

计算机应用 2018年第2期38卷 357-362页

作者：徐兵郭渊博叶子维胡永进信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

在企业网络中,若其内部的攻击者获得了用户的身份认证信息,其行为与正常用户将很难区分;而目前研究对于企业网中的异常用户检测方法比较单一,召回率不高。用户的认证活动信息直接反映了用户在网络中与各类资源或人员的交互,基于此,提出... 详细信息

在企业网络中,若其内部的攻击者获得了用户的身份认证信息,其行为与正常用户将很难区分;而目前研究对于企业网中的异常用户检测方法比较单一,召回率不高。用户的认证活动信息直接反映了用户在网络中与各类资源或人员的交互,基于此,提出一种利用用户认证活动信息来检测网络中异常用户的方法。该方法利用用户的认证活动生成用户认证图,之后基于图分析方法提取认证图中的属性,如图的最大连通组件的大小、孤立认证的数量等,这些属性反映了用户在企业网中的认证行为特征。最后利用有监督的支持向量机(SVM)对提取到的图属性进行建模,以此来间接识别和检测网络中的异常用户。在提取了用户图向量之后,具体对训练集和测试集、惩罚参数、核函数取不同值的情况进行了分析。通过对这些参数的调节,召回率、精确率和F1-Score均达到80%以上。实验数据表明,该方法能够有效检测企业网络中的异常用户。

关键词：用户认证异常检测图分析支持向量机认证图

来源：评论

学校读者我要写书评

暂无评论

基于状态转换的PLC程序模型构建方法

引用

计算机应用 2017年第12期37卷 3574-3580页

作者：常天佑魏强耿洋洋信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对可编程逻辑控制器(PLC)程序在进行Nu SMV模型检测时需要手工对程序进行建模,不仅浪费人力且容易出错的问题,提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本(ST)语言特性并解析ST程序为抽象语法树;其次... 详细信息

针对可编程逻辑控制器(PLC)程序在进行Nu SMV模型检测时需要手工对程序进行建模,不仅浪费人力且容易出错的问题,提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本(ST)语言特性并解析ST程序为抽象语法树;其次,在抽象语法树基础上,根据不同的文法结构进行控制流分析生成控制流图;然后,通过数据流分析得到程序依赖图;最后,根据程序依赖图生成Nu SMV的输入模型。实验结果表明,所提方法实现了ST程序到Nu SMV输入模型的自动化构建,并且构建的Nu SMV输入模型既保留了ST程序的原有特性又符合Nu SMV模型检测工具输入的规范,与传统手工模型构建方法相比,提高了模型生成的效率和准确率。

关键词：工业控制系统安全模型检测 NuSMV 程序分析模型构建

来源：评论

学校读者我要写书评

暂无评论

Handler混淆增强的虚拟机保护方法

引用

计算机工程与应用 2016年第15期52卷 146-152页

作者：谢鑫刘粉林芦斌向飞信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

按照一定顺序执行虚拟指令处理函数(Handler)可完成程序关键代码的保护,其为软件逆向分析者攻击的重点对象。针对"动态提取,静态分析"的Handler攻击方法,提出一种基于Handler混淆增强的虚拟机保护方法。运用等价指令替换规则... 详细信息

按照一定顺序执行虚拟指令处理函数(Handler)可完成程序关键代码的保护,其为软件逆向分析者攻击的重点对象。针对"动态提取,静态分析"的Handler攻击方法,提出一种基于Handler混淆增强的虚拟机保护方法。运用等价指令替换规则生成多种等价Handler序列,对所有Handler进行变长切分和随机乱序,通过构建跳转表对乱序序列进行重组,构建随机地址数组对Handler调度地址表和执行跳转表进行隐藏。实验和分析表明:多样化Handler生成、切分和乱序增加了动态提取和分析的难度,Handler地址表和跳转表的隐藏增加了抵御静态逆向分析的难度,从而提升了虚拟机保护强度。

关键词：虚拟机保护等价指令替换切分乱序多样化表隐藏

来源：评论

学校读者我要写书评

暂无评论

网络安全事件关联分析技术与工具研究

引用

计算机科学 2017年第2期44卷 38-45页

作者：琚安康郭渊博朱泰铭王通信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

当前,以APT为代表的新型网络安全攻击事件频发并造成了巨大危害,其定制性、隐蔽性、持续性等特点使得传统攻击检测方法难以奏效。然而,随着大数据技术的日益发展,对各类安全相关事件及系统运行环境信息进行了有效关联,使得有效识别这类... 详细信息

当前,以APT为代表的新型网络安全攻击事件频发并造成了巨大危害,其定制性、隐蔽性、持续性等特点使得传统攻击检测方法难以奏效。然而,随着大数据技术的日益发展,对各类安全相关事件及系统运行环境信息进行了有效关联,使得有效识别这类攻击和威胁成为可能,安全事件关联分析技术也随之应运而生。首先阐述了安全事件关联分析技术的重要性及其目标意义;然后对现有的安全事件关联分析技术进行了综述,从基于属性特征的关联分析、基于逻辑推理的关联分析、基于概率统计的关联分析、基于机器学习的关联分析等方面,分析描述了现有各种安全事件关联分析技术的机理及其优缺点;最后对现有的开源安全事件关联分析软件进行了综述,从应用场景、编程语言、用户接口以及关联方法等角度进行了综合比较。

关键词：关联分析特征属性逻辑推理概率统计机器学习

来源：评论

学校读者我要写书评

暂无评论

面向部分向量化的循环分布及聚合优化

引用

计算机科学 2017年第2期44卷 70-74,81页

作者：韩林徐金龙李颖颖王阳信息工程大学郑州450001 数学工程与先进计算国家重点实验室无锡214125

大量循环中都存在着少数无法向量化的语句以及许多可向量化语句,循环分布通常可以将这些语句分离到不同的循环中,进而实现循环的部分向量化。目前主流的优化编译器仅支持简单激进的循环分布方法,因而导致向量化后的循环开销过大,且不利... 详细信息

大量循环中都存在着少数无法向量化的语句以及许多可向量化语句,循环分布通常可以将这些语句分离到不同的循环中,进而实现循环的部分向量化。目前主流的优化编译器仅支持简单激进的循环分布方法,因而导致向量化后的循环开销过大,且不利于寄存器和cache的重用。针对上述问题,提出了面向部分向量化的循环分布及聚合方法。首先,分析了一般循环分布的两个关键问题:语句集的划分和循环执行顺序的确定;其次,提出了面向最大聚合的凝聚图结点排序方法来指导循环合并,在不影响并行性的前提下减小了循环开销;最后,通过实验对提出的方法进行了验证。实验结果表明,对于测试用例,提出的方法能够生成正确的向量化代码,并且能够显著提高向量化程序的执行效率。

关键词：部分向量化循环分布循环聚合凝聚图

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：