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

通信学报 2014年第3期35卷 135-139页

作者：游伟戚文峰国家数字交换系统工程技术研究中心河南郑州450002 解放军信息工程大学四院河南郑州450002 解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450002

研究了由2nF上单圈T-函数所导出权位序列的2-adic复杂度,设j为整数,0≤j≤n?1。结论表明,第j权位序列2-adic复杂度的上界为2lb(2 1)j?。另外,讨论了与所有单圈T-函数所导出第j权位序列相对应的2-adic整数的分布,分布情况说明这个上界是... 详细信息

研究了由2nF上单圈T-函数所导出权位序列的2-adic复杂度,设j为整数,0≤j≤n?1。结论表明,第j权位序列2-adic复杂度的上界为2lb(2 1)j?。另外,讨论了与所有单圈T-函数所导出第j权位序列相对应的2-adic整数的分布,分布情况说明这个上界是可以达到的。最后,研究了权位序列的1-错2-adic复杂度。研究结果表明对所有1≤j≤n?1,权位序列jx的1-错2-adic复杂度都与其2-adic复杂度相同。

关键词：序列密码 2-adic复杂度 k-错2-adic复杂度单圈T-函数权位序列

来源：评论

学校读者我要写书评

暂无评论

一种具有访问控制的云平台下外包数据流动态可验证方法

引用

计算机学报 2017年第2期40卷 337-350页

作者：孙奕陈性元杜学绘徐建北京交通大学计算机与信息技术学院北京100044 解放军信息工程大学郑州450004 数学工程与先进计算国家重点实验室郑州450004

针对云平台下外包数据流不可信、验证范围不可控等问题,该文提出一种具有访问控制的外包数据流动态可验证方法.该方法的核心思想是利用任意的Hash函数、双陷门Hash函数和CP-ABE(Cipertext Policy-Attribute Based Encryption)算法构成... 详细信息

针对云平台下外包数据流不可信、验证范围不可控等问题,该文提出一种具有访问控制的外包数据流动态可验证方法.该方法的核心思想是利用任意的Hash函数、双陷门Hash函数和CP-ABE(Cipertext Policy-Attribute Based Encryption)算法构成一种具有访问控制的动态可认证数据结构(AC-MTAT).该可认证结构可以实现对外包数据流的实时增加、更新和细粒度动态验证.此外,该可认证数据结构不仅能够验证外包数据流的完整性,还能够验证数据流序列的正确性.由于在传统默克尔Hash树(MHT)中引入双陷门Hash函数,AC-MTAT的构建过程可以分为两个阶段:离线阶段和在线阶段.这样构建AC-MTAT所需的主要代价可以放在离线阶段完成,大大提高了AC-MTAT在线实时构建效率.该文首先给出AC-MTAT方案的形式化定义和具体构建算法;然后,对ACMTAT方案的安全性进行证明,证明其满足正确性、可验证安全性和访问安全性;最后,分析了方案的实现效率,并通过实现一个AC-MTAT原型来评估算法的耗费时间,实验结果显示作者的方案对于外包数据流的验证是高效的和可行的,而且与现有方案相比,该方案在实时增长、高效更新、可控验证以及对数据流的适应性等方面更有优势.

关键词：可认证数据结构安全外包数据流访问控制完整性密文策略基于属性加密算法云计算

来源：评论

学校读者我要写书评

暂无评论

基于指针时空分析的软件异常可利用性判定

引用

计算机应用研究 2016年第5期33卷 1504-1508页

作者：彭建山王清贤欧阳永基解放军信息工程大学数学工程与先进计算国家重点实验室郑州450002

软件异常的可利用性是评估漏洞威胁等级的重要指标。针对目前二进制程序异常可利用性判定方法存在检测模式少、分析深度和精度不足、准确率低的问题,通过分析多重指针的时空局部有效性,利用独立可控数据的内存布局构造从异常指令到跳转... 详细信息

软件异常的可利用性是评估漏洞威胁等级的重要指标。针对目前二进制程序异常可利用性判定方法存在检测模式少、分析深度和精度不足、准确率低的问题,通过分析多重指针的时空局部有效性,利用独立可控数据的内存布局构造从异常指令到跳转指令的指针引用路径,能够快速收敛搜索域,提高控制流劫持成功率和判定准确率。实验结果表明,该方法适用于栈溢出、堆溢出、整型溢出导致覆盖返回地址、函数指针等模式,具有较高的准确率和较小的性能开销。

关键词：可利用性判定污点分析控制流劫持多重指针引用

来源：评论

学校读者我要写书评

暂无评论

基于动态数据流分析的虚拟机保护破解技术

引用

计算机工程 2014年第9期40卷 59-65页

作者：黄荷洁康绯舒辉解放军信息工程大学数学工程与先进计算国家重点实验室郑州450000

由于虚拟机采用虚拟化技术和代码混淆技术,采用传统的逆向分析方法还原被虚拟机保护的算法时存在较大困难。为此,提出一种基于动态数据流分析的虚拟机保护破解方法。以动态二进制插桩平台Pin作为支撑,跟踪记录被虚拟机保护的算法在动态... 详细信息

由于虚拟机采用虚拟化技术和代码混淆技术,采用传统的逆向分析方法还原被虚拟机保护的算法时存在较大困难。为此,提出一种基于动态数据流分析的虚拟机保护破解方法。以动态二进制插桩平台Pin作为支撑,跟踪记录被虚拟机保护的算法在动态执行过程中的数据流信息,对记录的数据流信息进行整理分析,获取虚拟机指令的解释执行轨迹,还原程序的控制流图,根据轨迹信息对数据生成过程进行分层次、分阶段还原,并由分析人员结合控制流图和数据生成过程进行算法重构。实验结果证明,该方法能够正确还原程序的控制流和数据生成过程,辅助分析人员完成被保护算法的重构。

关键词：数据流分析虚拟机保护控制流还原算法还原

来源：评论

学校读者我要写书评

暂无评论

面向网络打印机的脆弱性分析

引用

计算机应用与软件 2018年第4期35卷 303-309页

作者：王奕森沈建京林键董卫宇解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

网络打印机处于网络中的关键节点,是许多敏感信息的处理介质。由于厂商对打印机安全关注度不高、设备固件更新周期长、用户安全意识弱等因素,导致黑客对打印机攻击易于成功。研究网络打印机工作原理及PJL、Post Script、PCL等打印机语... 详细信息

网络打印机处于网络中的关键节点,是许多敏感信息的处理介质。由于厂商对打印机安全关注度不高、设备固件更新周期长、用户安全意识弱等因素,导致黑客对打印机攻击易于成功。研究网络打印机工作原理及PJL、Post Script、PCL等打印机语言特点,利用打印语言的安全缺陷设计针对网络打印机的脆弱性测试脚本,测试拒绝服务攻击、保护绕过和远程代码执行攻击,设计并实现网络打印机脆弱性分析系统。该系统可以利用测试脚本对目标网络打印机进行攻击进而测试目标的脆弱性。最后利用常见品牌的打印机做实验,验证了系统的有效性。

关键词：网络打印机 PJL PostScript 攻击脚本拒绝服务攻击脆弱性

来源：评论

学校读者我要写书评

暂无评论

利用扩散层固定点对ARIA密码攻击的改进

引用

四川大学学报（自然科学版） 2015年第2期52卷 325-330页

作者：李永光曾光韩文报解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室无锡214125

ARIA密码算法是韩国学者提出的韩国分组密码标准,该文对ARIA算法扩散层固定点进行了研究,结合固定点和S盒的差分性质,构造了达到概率上界2-144的6轮差分传递链.此外,利用特殊固定点构造了新的形式为4→4的截断差分路径,实现了7轮截断差... 详细信息

ARIA密码算法是韩国学者提出的韩国分组密码标准,该文对ARIA算法扩散层固定点进行了研究,结合固定点和S盒的差分性质,构造了达到概率上界2-144的6轮差分传递链.此外,利用特殊固定点构造了新的形式为4→4的截断差分路径,实现了7轮截断差分攻击.新的攻击数据和时间复杂度约为2106,存储复杂度约为256.

关键词： AIRA密码固定点差分链截断差分攻击

来源：评论

学校读者我要写书评

暂无评论

针对减宽SHA-1算法的模差分攻击分析

引用

四川大学学报（自然科学版） 2016年第5期53卷 1041-1048页

作者：胡云山申意曾光韩文报解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室无锡214125

模差分攻击技术是SHA-1随机碰撞攻击中重要分析方法之一.针对减宽的SHA-1算法,该文得出了减宽的部分碰撞定理并给出了减宽SHA-1算法单一部分碰撞的概率,证明了模差分攻击技术同样适用于减宽的SHA-1算法.通过理论分析和计算机搜索,该文... 详细信息

模差分攻击技术是SHA-1随机碰撞攻击中重要分析方法之一.针对减宽的SHA-1算法,该文得出了减宽的部分碰撞定理并给出了减宽SHA-1算法单一部分碰撞的概率,证明了模差分攻击技术同样适用于减宽的SHA-1算法.通过理论分析和计算机搜索,该文证明了对于宽为n比特的SHA-1算法,当且仅当n>3时,最优扰动向量的汉明重为25;当且仅当n>8时,最优扰动向量只有type-I与type-II两个等价类.

关键词：密码学 Hash函数 SHA-1 模差分攻击扰动向量

来源：评论

学校读者我要写书评

暂无评论

一种动态二进制翻译中间表示变量活性分析改进算法

引用

小型微型计算机系统 2016年第2期37卷 395-400页

作者：戴涛单征岳峰崔韫楠数学工程与先进计算国家重点实验室郑州450002 解放军信息工程大学郑州450002

动态二进制翻译是指可实现不同体系结构上软件兼容移植的系统,翻译过程使用源体系结构的一条或多条指令来模拟目标体系结构的一条指令,完成两者指令功能的等价,但也同时增大了代码的膨胀率,降低了程序执行的效率.变量活性分析是提高二... 详细信息

动态二进制翻译是指可实现不同体系结构上软件兼容移植的系统,翻译过程使用源体系结构的一条或多条指令来模拟目标体系结构的一条指令,完成两者指令功能的等价,但也同时增大了代码的膨胀率,降低了程序执行的效率.变量活性分析是提高二进制翻译系统执行效率重要的方法,本文在QEMU中间表示TCG(Tiny Code Generator)变量活性分析算法的基础上,提出线性扫描冗余ld M和st M指令匹配删除算法删除TCG中间代码冗余指令,有效简化指令翻译.整体性能测试表明,该方法可有效减少TCG中间指令的数目,比QEMU优化前翻译性能平均提高约12%.

关键词：动态二进制翻译系统变量活性分析 QEMU TCG

来源：评论

学校读者我要写书评

暂无评论

基于FAT表重定向的文件隐藏

引用

计算机科学 2014年第4期41卷 139-144页

作者：王玉龙李清宝王炜牛小鹏解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

文件隐藏技术是一种重要的数据安全防护手段。FAT32文件系统具有良好的兼容性,被广泛用于基于Flash芯片的移动存储设备。在分析FAT32文件系统文件组织方式及存储特点的基础上,提出一种通过擦除、转移存储目标文件目录项对文件FAT表项进... 详细信息

文件隐藏技术是一种重要的数据安全防护手段。FAT32文件系统具有良好的兼容性,被广泛用于基于Flash芯片的移动存储设备。在分析FAT32文件系统文件组织方式及存储特点的基础上,提出一种通过擦除、转移存储目标文件目录项对文件FAT表项进行重定向改写的方法来实现文件隐藏。理论分析与实验结果表明,该方法具有隐藏容量大、隐蔽性好、鲁棒性强、安全性能出色等特点,但对于大文件执行效率相对较低。

关键词：文件系统文件隐藏 FAT表重定向

来源：评论

学校读者我要写书评

暂无评论

一种ABAC中合理属性值指派计算方法

引用

小型微型计算机系统 2016年第10期37卷 2188-2193页

作者：李艺夫杜学绘任志宇解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

为实体(如用户、主体、客体等)指派合理的属性值是基于属性的访问控制模型实施与安全性的关键.针对现有属性管理权限委派中在属性值划分上缺乏相应客观依据及方法,提出一个基于有向图的属性值计算方法.该方法把来自一个属性内或多个属... 详细信息

为实体(如用户、主体、客体等)指派合理的属性值是基于属性的访问控制模型实施与安全性的关键.针对现有属性管理权限委派中在属性值划分上缺乏相应客观依据及方法,提出一个基于有向图的属性值计算方法.该方法把来自一个属性内或多个属性之间的关系定义为前提关系,构造得到一个以属性为顶点、前提关系为有向边的有向图.该方法计算属性值的过程分为三步,首先,搜索有向图中与目标属性相关的所有前提关系;第二步,代入属性值确定各个前提关系对目标属性的函数约束;第三步,按照目标属性的函数约束形式分为三种分别聚合,计算得到属性值满足的函数.实验结果验证其与一般的计算方法相比,平均时间加速比可达到3倍以上.

关键词：基于属性的访问控制模型属性管理属性关系属性值指派

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：