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

四川大学学报（工程科学版） 2014年第4期46卷 61-66页

作者：刘文芬代致永郜燕解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

针对现有动态信任模型在适应性、健壮性和激励机制方面存在的不足,提出一种分布式信任评估模型。引入时间调整函数和稳定度函数,分别解决了模型的动态适应问题和总体信任计算过程中的权重分配问题。综合考虑交互历史和信任分布情况,制... 详细信息

针对现有动态信任模型在适应性、健壮性和激励机制方面存在的不足,提出一种分布式信任评估模型。引入时间调整函数和稳定度函数,分别解决了模型的动态适应问题和总体信任计算过程中的权重分配问题。综合考虑交互历史和信任分布情况,制定相应评估策略,节约了计算资源。此外,通过给出一种直接推荐考察表,有效地识别和限制了故意夸大、恶意诋毁等虚假推荐行为,保证了模型的健壮性。仿真实验表明,该模型在抵御更加复杂的恶意攻击和恶意欺骗等行为方面,体现了良好的准确性、收敛性和适应性。

关键词：分布式网络信任模型信任域权重分配

来源：评论

学校读者我要写书评

暂无评论

模m加法的一类线性逼近关系研究

引用

电子学报 2015年第11期43卷 2194-2199页

作者：王健戚文峰郑群雄解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

该文研究模m加法的线性逼近问题,其中m为大于3的整数.利用分类计数方法,文中给出了任意k个整数求和模m的最低两个比特异或值用每一个整数的最低两个比特异或值去逼近时概率值的精确计算公式.此外,对于k=2、3或4,文中还进一步分析了这类... 详细信息

该文研究模m加法的线性逼近问题,其中m为大于3的整数.利用分类计数方法,文中给出了任意k个整数求和模m的最低两个比特异或值用每一个整数的最低两个比特异或值去逼近时概率值的精确计算公式.此外,对于k=2、3或4,文中还进一步分析了这类线性逼近的效果.

关键词：密码学线性分析模加法线性逼近

来源：评论

学校读者我要写书评

暂无评论

二进制翻译正确性及优化方法的形式化模型

引用

计算机研究与发展 2019年第9期56卷 2001-2011页

作者：傅立国庞建民王军张家豪岳峰数学工程与先进计算国家重点实验室(战略支援部队信息工程大学)

二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具... 详细信息

二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具有等价性,而等价的证明依赖于适当的形式化模型.为了满足研究二进制翻译正确性以及翻译优化方法对理论模型的需求,对已有理论模型进行了深入的剖析,并进一步构建了新的基于后继关系的映射模型.该模型既能够形式化地描述正确翻译的二进制翻译过程所具备的性质和构造方法,也可以在翻译过程形式化描述的基础上对翻译过程优化方法的特征和性质进行描述.通过构建翻译正确性及翻译过程优化方法的形式化模型,为二进制翻译技术中关于翻译过程的实现以及优化方法的策略组合等进一步研究提供了更强的理论支撑.

关键词：二进制翻译翻译正确性效率翻译优化形式化模型

来源：评论

学校读者我要写书评

暂无评论

基于静态和动态混合分析的内存拷贝类函数识别

引用

软件学报 2024年第7期35卷 3291-3313页

作者：尹小康蔡瑞杰杨启超刘胜利数学工程与先进计算国家重点实验室(信息工程大学) 河南郑州450001

缓冲区溢出等内存错误漏洞的产生往往来自对内存拷贝类函数的不当使用.对二进制程序中的内存拷贝类函数进行识别有利于发现内存错误漏洞.目前针对二进制程序中内存拷贝类函数的识别方法主要借助静态分析来提取函数的特征、控制流、数据... 详细信息

缓冲区溢出等内存错误漏洞的产生往往来自对内存拷贝类函数的不当使用.对二进制程序中的内存拷贝类函数进行识别有利于发现内存错误漏洞.目前针对二进制程序中内存拷贝类函数的识别方法主要借助静态分析来提取函数的特征、控制流、数据流等信息进行识别,具有较高的误报率和漏报率.为了提高对内存拷贝类函数识别的效果,提出一种基于静态和动态混合分析的技术CPSeeker.所提方法结合静态分析和动态分析各自的优势,分阶段对函数的全局静态信息和局部执行信息进行搜集,对提取到的信息进行融合分析,进而识别二进制程序中的内存拷贝类函数.实验结果表明,尽管CPSeeker在运行时间上有所增加,但在内存拷贝类函数识别的效果上,其F1值达到了0.96,远优于最新的工作BootStomp、SaTC、CPYFinder以及Gemini,并且不受编译环境(编译器版本、编译器种类、编译器优化等级)的影响.此外,CPSeeker在真实的固件测试中也有更好的表现.

关键词：静态分析动态分析仿真执行内存拷贝类函数函数识别

来源：评论

学校读者我要写书评

暂无评论

一种新型的混合异构口令恢复系统

引用

计算机学报 2018年第12期41卷 2804-2822页

作者：李斌周清雷斯雪明信息工程大学数学工程与先进计算国家重点实验室郑州450001 郑州大学信息工程学院郑州450001

口令恢复作为电子取证、信息情报获取和犯罪记录审查的重要手段,是对互联网信息进行监控、维护网络信息安全的关键环节之一.传统的口令恢复系统主要以CPU和GPU为主,体系结构单一、破解效率低,无法满足用户的计算需求.由此,该文提出了一... 详细信息

口令恢复作为电子取证、信息情报获取和犯罪记录审查的重要手段,是对互联网信息进行监控、维护网络信息安全的关键环节之一.传统的口令恢复系统主要以CPU和GPU为主,体系结构单一、破解效率低,无法满足用户的计算需求.由此,该文提出了一种新型的混合异构口令恢复系统.结合拟态计算的思想,通过CPU、GPU和拟态计算机搭建混合异构系统,建立多维可重构体系.并在拟态计算机上设计相关高速口令穷举算法、万兆网络字典传输协议和全流水可重构加密恢复算法,提高破解效率.同时,根据具体口令恢复应用的PMC(Processing-Memory-Communication)特征,动态调整系统结构,均衡向下分配口令空间,使整个系统高效地完成加密恢复任务.实验分析和结果表明,与传统CPU系统相比,该文系统在破解速度上提高18.84倍～84.94倍,在能效比上提高3.07倍～15.73倍,与传统口令穷举和字典破解模式相比,其恢复效率有所提升,且能较好地支持异构系统.

关键词：拟态计算拟态计算机口令恢复混台异构口令穷举字典传输负载均衡

来源：评论

学校读者我要写书评

暂无评论

SIMON64算法的积分分析

引用

电子与信息学报 2020年第3期42卷 720-728页

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

SIMON系列算法自提出以来便受到了广泛关注。积分分析方面,Wang,Fu和Chu等人给出了SIMON32和SIMON48算法的积分分析,该文在已有的分析结果上,进一步考虑了更长分组的SIMON64算法的积分分析。基于Xiang等人找到的18轮积分区分器,该文先... 详细信息

SIMON系列算法自提出以来便受到了广泛关注。积分分析方面,Wang,Fu和Chu等人给出了SIMON32和SIMON48算法的积分分析,该文在已有的分析结果上,进一步考虑了更长分组的SIMON64算法的积分分析。基于Xiang等人找到的18轮积分区分器,该文先利用中间相遇技术和部分和技术给出了25轮SIMON64/128算法的积分分析,接着利用等价密钥技术进一步降低了攻击过程中需要猜测的密钥量,并给出了26轮SIMON64/128算法的积分分析。通过进一步的分析,该文发现高版本的SIMON算法具有更好抵抗积分分析的能力。

关键词：等价密钥 SIMON64 中间相遇部分和积分分析

来源：评论

学校读者我要写书评

暂无评论

主动自动机学习中的等价查询算法优化

引用

软件学报 2023年第7期34卷 3241-3255页

作者：潘雁祝跃飞数学工程与先进计算国家重点实验室(信息工程大学) 河南郑州450001

模型学习是一种获取黑盒软件系统行为模型的有效方法,可分为主动学习和被动学习.主动学习是基于字母表构造测试用例,通过与黑盒系统主动交互,可在多项式时间内得到目标系统的最小完备自动机,其中等价查询仍是开发和应用主动自动机学习... 详细信息

模型学习是一种获取黑盒软件系统行为模型的有效方法,可分为主动学习和被动学习.主动学习是基于字母表构造测试用例,通过与黑盒系统主动交互,可在多项式时间内得到目标系统的最小完备自动机,其中等价查询仍是开发和应用主动自动机学习工具的障碍之一.通过探讨反例对于学习算法的影响,定义假设的比较规则,提出测试用例构造的两个原则,同时依据原则对Wp-method等价查询算法改进,产生更优的假设,有效降低查询的数量,并基于LearnLib开源工具,分别以3类自动机为实验对象验证原则和改进算法的有效性.

关键词：模型学习自动机成员查询等价查询

来源：评论

学校读者我要写书评

暂无评论

整数剩余类环上本原序列在Garner分解下最高权位的保熵性

引用

密码学报 2019年第4期6卷 477-485页

作者：孙翔宇陈华瑾朱宣勇信息工程大学数学工程与先进计算国家重点实验室

整数剩余类环上压缩导出序列简称环上导出序列,是一类重要的非线性序列.目前国际4G移动通信三大标准之一的ZUC算法所采用的序列源就是一类环上导出序列.环上导出序列的非线性来源于压缩映射,特别的,如果该压缩映射是保熵的,即压缩后序... 详细信息

整数剩余类环上压缩导出序列简称环上导出序列,是一类重要的非线性序列.目前国际4G移动通信三大标准之一的ZUC算法所采用的序列源就是一类环上导出序列.环上导出序列的非线性来源于压缩映射,特别的,如果该压缩映射是保熵的,即压缩后序列和原始序列一一对应,这时压缩后序列含有原始序列的所有信息,这使得保熵压缩映射成为环上导出序列研究的核心问题.本文基于序列的Garner分解提出了一种新的压缩方式,即将整数剩余类环上本原序列压缩到其Garner分解下的最高权位序列,并对部分情形给出了保熵性的证明.本文结论可以给出范围更广的合数环上的压缩导出序列,为环上导出序列在密码学中的进一步应用提供更多素材.同时,通过选取合适的参数,根据本文结论可以得到拥有理想的周期特性、复杂的非线性结构以及易于软硬件实现的非线性序列.

关键词：整数剩余类环 Garner分解本原序列权位压缩导出序列保熵性

来源：评论

学校读者我要写书评

暂无评论

MIBS密码的零相关—积分攻击

引用

通信学报 2016年第11期37卷 189-195页

作者：刘庆聪赵亚群马猛刘凤梅信息工程大学数学与先进计算国家重点实验室河南郑州450001 信息保障技术重点实验室北京100072

MIBS算法是一种轻量级分组密码算法,普遍应用于电子标签和传感器网络等环境。首先,分析MIBS算法抵抗零相关积分分析的能力,给出一个8轮的MIBS算法零相关线性区分器。然后,利用零相关线性区分器和积分区分器之间的关系,构造一个8轮的MIB... 详细信息

MIBS算法是一种轻量级分组密码算法,普遍应用于电子标签和传感器网络等环境。首先,分析MIBS算法抵抗零相关积分分析的能力,给出一个8轮的MIBS算法零相关线性区分器。然后,利用零相关线性区分器和积分区分器之间的关系,构造一个8轮的MIBS算法的积分区分器。最后,利用该区分器结合MIBS算法的对称结构,基于部分和技术,分析10轮、12轮的MIBS-80算法。得到的攻击时间复杂度分别为227.68、248.81,数据复杂度为248。

关键词：分组密码密码分析 MIBS算法零相关-积分分析

来源：评论

学校读者我要写书评

暂无评论

二进制翻译中动静结合的寄存器分配优化方法

引用

计算机研究与发展 2019年第4期56卷 708-718页

作者：王军庞建民傅立国岳峰单征张家豪数学工程与先进计算国家重点实验室(战略支援部队信息工程大学) 郑州450002

针对二进制翻译器QEMU(quick emulator)在寄存器映射时未考虑基本块之间以及循环体之间对寄存器需求的差异,造成不必要的寄存器溢出而导致的冗余访存开销问题,引入全局寄存器静态映射和局部寄存器动态分配思想,提出高效的基于优先级的... 详细信息

针对二进制翻译器QEMU(quick emulator)在寄存器映射时未考虑基本块之间以及循环体之间对寄存器需求的差异,造成不必要的寄存器溢出而导致的冗余访存开销问题,引入全局寄存器静态映射和局部寄存器动态分配思想,提出高效的基于优先级的动静结合寄存器映射优化算法.该算法首先基于源平台不同寄存器使用的统计特征和各变量的生命周期,静态进行全局寄存器映射;然后依据中间表示与源平台寄存器之间的映射关系,获取基本块中间指令需求寄存器次数并排序确定寄存器分配的优先级;之后依据优先级顺序动态进行寄存器分配,从而减少寄存器溢出次数,降低生成的本地代码的膨胀率以及访存次数,提高目标程序性能.对NBENCH、典型的递归程序和SPEC2006的测试表明:该算法有效地减少了本地代码的访存次数,提高了程序性能,平均比优化前性能分别提升了8.67%, 8.25%, 8.10%.

关键词：二进制翻译寄存器分配翻译器QEMU 反馈式静态二进制翻译器FD-SQEMU TCG中间表示

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：