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

计算机应用 2013年第11期33卷 3149-3154页

作者：侯永生赵荣彩高伟高伟数学工程与先进计算国家重点实验室信息工程大学郑州450002

针对非正规化循环的上下界、步长等循环信息不确定的问题,解决了循环条件为逻辑表达式、增量减量语句和do-while循环的正规化问题。对不能正规化的循环提出了一种展开压紧算法,并用超字并行向量化方法发掘展开压紧的结果。实验结果表明... 详细信息

针对非正规化循环的上下界、步长等循环信息不确定的问题,解决了循环条件为逻辑表达式、增量减量语句和do-while循环的正规化问题。对不能正规化的循环提出了一种展开压紧算法,并用超字并行向量化方法发掘展开压紧的结果。实验结果表明,与现有的非正规化循环的单指令多数据(SIMD)向量化方法相比,所提出的转换方法和展开压紧方法能够更好地发掘非正规化循环的向量化特性,生成代码的性能加速比提高了6%以上。

关键词：非正规化循环单指令多数据向量化展开压紧依赖关系分析

来源：评论

学校读者我要写书评

暂无评论

风云二号多通道卫星数据对流单体检测

引用

遥感学报 2020年第8期24卷 1023-1031页

作者：刘佳罗向阳商丘师范学院信息技术学院商丘476000 战略支援部队信息工程大学数学工程与先进计算国家重点实验室郑州450000

在对流单体检测中,相邻的对流云核很难区分。为了解决这个问题,基于红外和水汽通道卫星数据,提出一种新的检测对流单体方法。首先,针对卫星数据的特点进行数据处理,去除亮温大于241 K(对流系统的基准阈值)的像元,并将其归一化到[0,1]。... 详细信息

在对流单体检测中,相邻的对流云核很难区分。为了解决这个问题,基于红外和水汽通道卫星数据,提出一种新的检测对流单体方法。首先,针对卫星数据的特点进行数据处理,去除亮温大于241 K(对流系统的基准阈值)的像元,并将其归一化到[0,1]。其次,利用H极大值变换技术提取对流核种子点,设计一种八连通域准则使相邻种子点形成聚类并按顺序进行标记,有效地区分了相邻的种子簇。然后,设计一个新的准则判断相邻的种子簇是否需要合并。最后,根据多个阈值产生的种子点设计了种子簇累加合并方法使种子点生长或者与其他相邻的种子点合并,形成最终的对流核。选取红外和水汽通道的多通道数据开展验证实验,并和雷达资料和其他方法进行对比实验,结果表明该方法可以有效地区分相邻的对流单体,在初生、成熟和消散等中尺度对流系统生命周期均准确。此外,所提方法不仅对单个对流核有效,而且对多个对流核也能准确地检测。

关键词：遥感对流单体对流核 H-极大值变换聚类风云二号种子点

来源：评论

学校读者我要写书评

暂无评论

网络流水印安全威胁及对策综述

引用

计算机研究与发展 2018年第8期55卷 1785-1799页

作者：张连成王禹孔亚洲邱菡解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001 河南工程学院郑州451191

与基于流量特性的被动流关联技术相比,基于流水印的主动流关联技术在跳板攻击溯源和匿名用户追踪等方面准确率更高、误报率更低,观测时间也更短.首先介绍基于包载荷、流速率、包时间等载体的典型流水印技术;然后阐述流水印技术所面临的... 详细信息

与基于流量特性的被动流关联技术相比,基于流水印的主动流关联技术在跳板攻击溯源和匿名用户追踪等方面准确率更高、误报率更低,观测时间也更短.首先介绍基于包载荷、流速率、包时间等载体的典型流水印技术;然后阐述流水印技术所面临的多流攻击、均方自相关攻击、K-S(KolmogorovSimirnov)测试、PNR(Peng Ning Reeves)攻击、时延规范化攻击、BACKLIT检测、已知流攻击、输出检测和复制攻击等安全威胁;接着分析流水印技术在抵御多流攻击、均方自相关攻击、K-S测试和BACKLIT检测等各类安全威胁时所主要采取的嵌入位置随机化、水印信息重排序、"一流一印"、"一流一码"、嵌入延迟最小化等方法和手段;最后对流水印安全威胁与对策的研究热点及发展趋势进行总结和展望,认为现有流水印技术的抗攻击能力有待进一步加强、流水印隐蔽性的统一评价体系与指标缺乏、其他载体及多重载体流水印技术的攻击手段亟待研究.

关键词：流水印流量分析匿名通信跳板多流攻击均方自相关攻击嵌入位置随机化水印信息重排序

来源：评论

学校读者我要写书评

暂无评论

基于ISSM的密码服务系统虚拟化性能建模

引用

系统仿真学报 2017年第8期29卷 1692-1701页

作者：郭松辉李清宝孙磊龚雪容杨天池解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对密码服务系统虚拟化结构复杂导致性能建模难度大的问题,提出了一种基于交互随机子模型(Interactive Stochastic Sub-Models,ISSMs)的性能建模方法,将任务执行过程划分为主机预处理和运算单元执行两个阶段,并基于排队论分别建立了两... 详细信息

针对密码服务系统虚拟化结构复杂导致性能建模难度大的问题,提出了一种基于交互随机子模型(Interactive Stochastic Sub-Models,ISSMs)的性能建模方法,将任务执行过程划分为主机预处理和运算单元执行两个阶段,并基于排队论分别建立了两个子模型。在此基础上对密码服务系统虚拟化性能模型的有效性进行了验证。结果表明,所建模型能够定量分析任务的到达速率、主机配置与密码卡配置对系统性能的影响,该模型同时也有助于指导云计算环境下密码服务系统虚拟化部署方案的设计。

关键词：密码服务系统虚拟化性能建模响应时间云计算拒绝概率

来源：评论

学校读者我要写书评

暂无评论

基于动态数据流的密码函数加解密过程分析

引用

计算机应用研究 2014年第4期31卷 1185-1188页

作者：李继中蒋烈辉舒辉戴理解放军信息工程大学数学工程与先进计算国家重点实验室郑州450000

在密码函数识别的基础上,采用九元组的形式定义了加解密过程依赖图,提出了基于动态数据流分析的函数依赖图构建框架,并设计了构建算法;采用垃圾调用删除、循环归约的方式对依赖图进行化简;基于标准密码算法依赖图知识库,设计了相似性判... 详细信息

在密码函数识别的基础上,采用九元组的形式定义了加解密过程依赖图,提出了基于动态数据流分析的函数依赖图构建框架,并设计了构建算法;采用垃圾调用删除、循环归约的方式对依赖图进行化简;基于标准密码算法依赖图知识库,设计了相似性判别算法对依赖图集合进行判别,测试结果验证了方法的可靠性与高效性。

关键词：算法识别密码函数加解密过程动态数据流依赖图

来源：评论

学校读者我要写书评

暂无评论

非线性反馈移位寄存器序列子簇的研究进展

引用

密码学报 2014年第1期1卷 72-82页

作者：田甜戚文峰解放军信息工程大学数学工程与先进计算国家重点实验室郑州450002

随着近十年国际序列密码设计思想的转变,非线性反馈移位寄存器逐渐成为用于序列密码算法的重要的序列源生成器,因此对非线性反馈移位寄存器序列的密码性质的研究受到很多关注.一个非线性反馈移位寄存器的输出序列包含子簇是一种退化现象... 详细信息

随着近十年国际序列密码设计思想的转变,非线性反馈移位寄存器逐渐成为用于序列密码算法的重要的序列源生成器,因此对非线性反馈移位寄存器序列的密码性质的研究受到很多关注.一个非线性反馈移位寄存器的输出序列包含子簇是一种退化现象,它表明一个n级非线性反馈移位寄存器的输出序列并非都是真正的n阶递归序列,而是满足低于n阶的递归关系,甚至低于n阶的线性递归关系.本文系统总结了关于非线性反馈移位寄存器序列子簇的研究结果.

关键词：序列密码非线性反馈移位寄存器子簇

来源：评论

学校读者我要写书评

暂无评论

改进的SKINNY算法的不可能差分分析

引用

密码学报 2018年第2期5卷 126-139页

作者：洪豆陈少真数学工程与先进计算国家重点实验室郑州450001 信息工程大学郑州450001

SKINNY算法是一种新型SPN结构的类AES型轻量级可调分组密码算法,由Beierle等在CRYPTO 2016上提出.SKINNY是一类采用可调密钥框架的可调分组密码算法,根据可调密钥大小和分组长度分为6个不同版本.本文评估了SKINNY在单密钥条件下抵抗不... 详细信息

SKINNY算法是一种新型SPN结构的类AES型轻量级可调分组密码算法,由Beierle等在CRYPTO 2016上提出.SKINNY是一类采用可调密钥框架的可调分组密码算法,根据可调密钥大小和分组长度分为6个不同版本.本文评估了SKINNY在单密钥条件下抵抗不可能差分分析的安全性.首先,在区分器输入输出只有一个活动块的情况下,利用中间相错技术寻找到SKINNY算法最长长度达到11轮的所有16个截断不可能差分路径.其次,选择其中一条不可能差分路径,在单密钥条件下针对20轮SKINNY-64-128进行不可能差分分析.利用S盒差分性质及SKINNY算法列混合变换的性质进行密钥猜测,结合密钥编排算法存在的"周期性质",推导得出的轮可调密钥块之间的线性关系,将分析过程中需猜测的可调密钥块数量由45个减少至33个.最后利用并行攻击技术和早夭技术,有效降低了攻击的时间复杂度.攻击需要2^(29)个选择明文对,存储量为2^(94)个半字节,时间复杂度为2^(119.3)次加密.相比于已有SKINNY不可能差分分析结果,选择明文数量和攻击时间复杂度有一定改进.

关键词：分组密码 SKINNY算法不可能差分分析并行攻击技术早夭技术

来源：评论

学校读者我要写书评

暂无评论

一种有效的Cisco IOS映像注入攻击分析方法

引用

计算机应用研究 2013年第12期30卷 3775-3778页

作者：曾诚刘胜利肖达陈立根解放军信息工程大学数学工程与先进计算国家重点实验室郑州450000

针对Cisco IOS映像注入攻击提出了一种基于虚拟化的恶意代码分析方法。通过虚拟化技术的研究,设计实现了虚拟化分析平台CDAP(Cisco dynamic analysis platform),为IOS系统提供了运行环境,在此基础上,采用指令信息截获与过滤技术、数据... 详细信息

针对Cisco IOS映像注入攻击提出了一种基于虚拟化的恶意代码分析方法。通过虚拟化技术的研究,设计实现了虚拟化分析平台CDAP(Cisco dynamic analysis platform),为IOS系统提供了运行环境,在此基础上,采用指令信息截获与过滤技术、数据跟踪技术对注入到IOS映像中的恶意代码进行分析。使用该方法可对遭受IOS注入攻击的多型号多版本的Cisco IOS映像进行分析。实验结果证明了该方法的有效性。

关键词： Cisco IOS 虚拟化技术代码分析指令截获指令过滤数据跟踪

来源：评论

学校读者我要写书评

暂无评论

SPECK型算法的积分分析和不可能差分分析

引用

密码学报 2020年第2期7卷 158-168页

作者：方玉颖徐洪数学工程与先进计算国家重点实验室郑州450001 信息工程大学郑州450001

SPECK系列算法是2013年由美国国家安全局提出的一类重要的轻量分组密码算法.算法整体采用变形的Feistel结构,轮函数是由模加,循环移位和异或组成的ARX模块,其中模加运算为算法主要的非线性部件.目前对于SPECK系列算法的研究主要分为两... 详细信息

SPECK系列算法是2013年由美国国家安全局提出的一类重要的轻量分组密码算法.算法整体采用变形的Feistel结构,轮函数是由模加,循环移位和异或组成的ARX模块,其中模加运算为算法主要的非线性部件.目前对于SPECK系列算法的研究主要分为两个方面:一是针对原始SPECK算法安全性的分析,主要的攻击方法包括差分分析、线性分析、积分分析和不可能差分分析等;二是对采用不同移位参数的SPECK型算法的分析,主要包含对它们抗差分分析能力的评估.本文在此基础上研究了采用不同移位参数的SPECK型算法的积分性质和不可能差分性质.我们先利用混合整数线性规划方法,基于可分性搜索了SPECK型算法的积分区分器;接着利用中间相错思想,基于模加运算的差分性质,搜索了SPECK型算法的不可能差分特征.结合已有的差分分析的结论,我们给出了不同分组长度下具有更强抵抗多种攻击能力的好的移位参数.特别的,在减轮情形下,当分组长度为32比特时,我们发现采用移位参数(9,2)的SPECK型算法比原始算法具有更强的抵抗差分分析、积分分析和不可能差分分析的能力.

关键词： SPECK型算法积分分析不可能差分分析可分性混合整数线性规划中间相错

来源：评论

学校读者我要写书评

暂无评论

基于包延时的安全标记与数据流绑定方法

引用

计算机应用研究 2014年第2期31卷 571-575页

作者：冯瑜杜学绘曹利峰解放军信息工程大学数学工程与先进计算国家重点实验室郑州450004

提出了一个独立于数据包内容的安全标记与数据流绑定方法,该方法基于包延时调制,引入数据包的到达间隔时延为安全标记的载体,使用海明码实现安全标记的差错控制,设计数据包随机分组方式,并根据绑定规则调制数据包延迟时间,实现了安全标... 详细信息

提出了一个独立于数据包内容的安全标记与数据流绑定方法,该方法基于包延时调制,引入数据包的到达间隔时延为安全标记的载体,使用海明码实现安全标记的差错控制,设计数据包随机分组方式,并根据绑定规则调制数据包延迟时间,实现了安全标记与数据流的隐式绑定,解决了显式安全标记绑定引起的针对性攻击和灵活性不足等问题。理论分析和实验结果表明,该绑定方法对网络随机时间扰乱具有健壮性,能保证网络传输中安全标记的安全性。

关键词：安全标记绑定数据流包延时

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：