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

郑州大学学报（理学版） 2021年第2期53卷 50-56页

作者：刘征李喜艳孙汉卿连卫民王桂芝河南牧业经济学院信息工程学院河南郑州450044 解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450000

基于像素的像素排序(PPVO)方法使用上下文概念,以像素为嵌入单位,极大地提高了嵌入量。为了进一步提高嵌入量和保证图像的保真度,对数据流秘密信息进行映射变换,嵌入率提高为原来的150%;当秘密信息是扫描文档图像时,对其进行半色调和四... 详细信息

基于像素的像素排序(PPVO)方法使用上下文概念,以像素为嵌入单位,极大地提高了嵌入量。为了进一步提高嵌入量和保证图像的保真度,对数据流秘密信息进行映射变换,嵌入率提高为原来的150%;当秘密信息是扫描文档图像时,对其进行半色调和四叉树处理,使实际嵌入量提高4倍左右。实验数据表明,提出的方法显著提高了嵌入容量,而且图像保真度效果更好。

关键词：像素排序数据隐藏上下文映射变换

来源：评论

学校读者我要写书评

暂无评论

数据中心网络高效数据汇聚传输算法

引用

计算机学报 2016年第9期39卷 1750-1762页

作者：陆菲菲郭得科方兴谢向辉罗兴国数学工程与先进计算国家重点实验室江苏无锡214125 解放军信息工程大学国家数字交换系统工程技术研究中心郑州450002 信息系统工程国防科技重点实验室(国防科学技术大学)

在数据中心中,类MapReduce的分布式计算系统在数据的混洗阶段产生巨大流量,令数据中心的东西向网络资源成为瓶颈.将这些高度相关的数据流在接收端进行聚合是分布式计算的通用处理方式,为了降低网络通信量并有效利用带宽,文中采用网内关... 详细信息

在数据中心中,类MapReduce的分布式计算系统在数据的混洗阶段产生巨大流量,令数据中心的东西向网络资源成为瓶颈.将这些高度相关的数据流在接收端进行聚合是分布式计算的通用处理方式,为了降低网络通信量并有效利用带宽,文中采用网内关联性流量的汇聚传输策略,将混洗和汇聚并行化,达到进一步降低东西向网络资源消耗、缩短混洗阶段延迟的目的.目前提出的IRS-based算法在适用场景上有一定局限性,为了解决这一问题,文中首先在以服务器为中心的代表结构BCube上建立incast最小树模型,分别提出MIB-based算法和MC-based算法,仅根据已知拓扑结构和发送节点编号即可快速生成一棵近似的最小代价incast树.MIB-based算法针对发送节点强关联的情况,使高层发送节点尽可能汇聚到已有的低层发送节点构建incast树;MC-based算法针对发送节点松散关联的情况,将节点进行最大程度上的聚合,通过增加最少的汇聚点完成incast树的构建.随后将上述两种算法结合起来进一步提出适用于各种场景的M2-based算法,通过推算时间复杂度证明该算法能够满足在线构建incast树的需求.最后,详细分析了M2-based算法对其他数据中心网络结构的适应性以及网内汇聚传输能够减少作业完成时间的原理.小规模实验结果表明,在不同网络规模下,M2-based比IRS-based节省了网络中约3%的数据量,整个作业在混洗和Reduce阶段的等待时间比不采用网内汇聚缩短约2/3;在不同传输节点规模下,M2-based比IRS-based节省了网络中约19%的数据量,整个作业在混洗和Reduce阶段的等待时间比不采用网内汇聚缩短约3/4.

关键词：数据中心数据汇聚网内聚合混洗传输 incast树

来源：评论

学校读者我要写书评

暂无评论

面向HDFS的可证明安全的单点登录协议

引用

计算机应用研究 2016年第7期33卷 2152-2156页

作者：王绍人杜学绘杨智解放军信息工程大学四院郑州450001 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议。协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供... 详细信息

针对Hadoop distributed file system(HDFS)的安全机制中密钥管理复杂、用户需进行多次身份认证的问题,提出一个适合HDFS的基于身份的单点登录协议。协议采用基于身份的密码技术实现了用户的单点登录,同时根据各个节点上一次为用户提供服务的情况对用户登录票据的流转过程进行了优化,并且运用Capser形式化证明工具对协议的安全性进行了证明。协议降低了HDFS在密钥管理上的开销,解决了用户访问HDFS可能需要频繁认证的问题,提高了登录票据流转的效率,同时协议还具有较高的安全性。理论分析和安全性验证表明,本协议对HDFS的安全高效运行有较大的帮助。

关键词： HDFS 基于身份单点登录 Capser 形式化证明

来源：评论

学校读者我要写书评

暂无评论

基于UMLsec的软件安全需求建模方法研究

引用

计算机工程与设计 2013年第9期34卷 3124-3129页

作者：李波刘伟王飞信息工程大学河南郑州450004 数学工程与先进计算国家重点实验室河南郑州450004

安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求... 详细信息

安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证。科研信息系统实例表明了该方法的有效性。

关键词：安全扩展安全需求需求获取需求描述建模方法

来源：评论

学校读者我要写书评

暂无评论

软件Markov链使用模型生成与化简技术

引用

计算机工程与设计 2015年第8期36卷 2114-2119页

作者：冯俊池于磊刘洋信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描... 详细信息

为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。

关键词：统一建模语言马尔科夫链使用模型软件可靠性测试状态化简

来源：评论

学校读者我要写书评

暂无评论

一种基于ROP技术的代码混淆方法

引用

计算机应用与软件 2019年第9期36卷 293-301页

作者：向飞巩道福刘粉林信息工程大学河南郑州450000 数学工程与先进计算国家重点实验室河南郑州450000

针对静动态逆向分析容易获取程序内部核心代码的问题,提出一种基于ROP技术的代码混淆方法。借鉴ROP攻击技术的代码组织和调用方式,利用内存空间随机分布的gadget指令序列执行目标代码的等价功能,实现隐藏目标代码和抵抗逆向分析的目的... 详细信息

针对静动态逆向分析容易获取程序内部核心代码的问题,提出一种基于ROP技术的代码混淆方法。借鉴ROP攻击技术的代码组织和调用方式,利用内存空间随机分布的gadget指令序列执行目标代码的等价功能,实现隐藏目标代码和抵抗逆向分析的目的。从有效性、时间开销和空间开销三个方面评价方法的性能,分析和实验表明,该方法能够有效增加攻击者静动态获取和分析目标代码的难度,具有较好的时间和空间开销性能。

关键词：软件安全代码混淆 ROP技术 gadget指令序列

来源：评论

学校读者我要写书评

暂无评论

基于JTAG的嵌入式设备固件分析技术

引用

计算机工程与设计 2014年第10期35卷 3410-3415页

作者：赵亚新郭玉东舒辉信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

传统的设备固件逆向分析方法在分析嵌入式设备固件时存在一定困难,针对该问题,提出基于JATG的嵌入式设备固件动态分析方法。利用嵌入式设备提供的JTAG调试接口,在主机端设计并实现一个低成本的原型系统,能够对设备固件进行动态跟踪记录... 详细信息

传统的设备固件逆向分析方法在分析嵌入式设备固件时存在一定困难,针对该问题,提出基于JATG的嵌入式设备固件动态分析方法。利用嵌入式设备提供的JTAG调试接口,在主机端设计并实现一个低成本的原型系统,能够对设备固件进行动态跟踪记录,分析固件的模块组成、设备启动流程和函数调用流程。通过对一台嵌入式Linux设备进行测试,验证了该系统能够准确地分析设备固件的运行机制,能够有效提升设备固件逆向分析效率。

关键词：嵌入式设备动态分析静态分析固件运行机制函数识别

来源：评论

学校读者我要写书评

暂无评论

基于有限状态机的内核漏洞攻击自动化分析技术

引用

计算机科学 2022年第11期49卷 326-334页

作者：刘培文舒辉吕小少赵耘田郑州大学网络空间安全学院郑州450001 信息工程大学数学工程与先进计算国家重点实验室郑州450001

内核漏洞攻击是针对操作系统常用的攻击手段,对各攻击阶段进行分析是抵御该类攻击的关键。由于内核漏洞类型、触发路径、利用模式的复杂多样,内核漏洞攻击过程的分析难度较大,而且现有的分析工作主要以污点分析等正向程序分析方法为主,... 详细信息

内核漏洞攻击是针对操作系统常用的攻击手段,对各攻击阶段进行分析是抵御该类攻击的关键。由于内核漏洞类型、触发路径、利用模式的复杂多样,内核漏洞攻击过程的分析难度较大,而且现有的分析工作主要以污点分析等正向程序分析方法为主,效率较低。为了提高分析效率,文中实现了一种基于有限状态机的内核漏洞攻击自动化分析技术。首先,构建了内核漏洞攻击状态转移图,作为分析的关键基础;其次,引入反向分析的思路,建立了基于有限状态机的内核漏洞攻击过程反向分析模型,能够减小不必要的分析开销;最后,基于模型实现了一种内核漏洞攻击反向分析方法,能够自动、快速地解析内核漏洞攻击流程。通过对10个攻击实例进行测试,结果表明,反向分析方法能够准确得到关键代码执行信息,且相比传统正向分析方法,分析效率有较大提高。

关键词：内核漏洞漏洞利用提权攻击反向分析漏洞触发点定位

来源：评论

学校读者我要写书评

暂无评论

对三个无双线性对的密钥协商协议分析

引用

信息网络安全 2019年第1期 16-26页

作者：程庆丰阮展靖张瑞杰信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室河南郑州450002

基于椭圆曲线上的无双线性对密钥协商协议以其良好的安全性和执行效率在信息安全领域中得到广泛应用,文章分析了3个基于椭圆曲线上的无双线性对密钥协商协议,指出其在安全性上存在的缺陷,分别对这3个协议进行私钥替换攻击、临时密钥泄... 详细信息

基于椭圆曲线上的无双线性对密钥协商协议以其良好的安全性和执行效率在信息安全领域中得到广泛应用,文章分析了3个基于椭圆曲线上的无双线性对密钥协商协议,指出其在安全性上存在的缺陷,分别对这3个协议进行私钥替换攻击、临时密钥泄露攻击、部分秘密信息泄露攻击等攻击,并基于椭圆曲线离散对数问题对其中1个群组密钥协商协议进行改进。此外,通过协议对比,改进的协议安全性更强,效率比其他有双线性对的群组密钥协商协议更高。

关键词：椭圆曲线无双线性对密钥协商部分秘密信息泄露攻击

来源：评论

学校读者我要写书评

暂无评论

一种基于通道的AVISPA扩展方法研究

引用

计算机应用研究 2013年第12期30卷 3783-3785,3803页

作者：刘威郭渊博解放军信息工程大学网络空间安全学院郑州450001 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对AVISPA工具在分析某些消息需要依靠具有特定属性的信道传递的安全协议或服务中存在的问题,提出了一种基于抽象通道的扩展方法。抽象通道具有相关的安全性质保证如认证性,能够对提供安全性质保证的底层服务建模,并基于密码机制和标... 详细信息

针对AVISPA工具在分析某些消息需要依靠具有特定属性的信道传递的安全协议或服务中存在的问题,提出了一种基于抽象通道的扩展方法。抽象通道具有相关的安全性质保证如认证性,能够对提供安全性质保证的底层服务建模,并基于密码机制和标签等实现了抽象通道。利用扩展后的AVISPA工具分析有无消息源认证机制的Diffie-Hellman密钥交换协议的安全性,表明了方法的有效性,并且能够简化协议建模过程和增强AVISPA工具协议描述分析能力。

关键词：安全协议形式化分析安全属性抽象通道

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：