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

作者：冯苗河南师范大学

学位级别：硕士

Bent函数已经广泛地应用到密码学、扩展频谱、编码理论和组合设计中.置换函数在通信密码比如分组密码、散列函数和流密码方面都起着很重要的作用.通过运用Kronecker积运算及其性质,本文给出了有限域上置换函数的一般递归构造方法.运用... 详细信息

Bent函数已经广泛地应用到密码学、扩展频谱、编码理论和组合设计中.置换函数在通信密码比如分组密码、散列函数和流密码方面都起着很重要的作用.通过运用Kronecker积运算及其性质,本文给出了有限域上置换函数的一般递归构造方法.运用我们的方法,我们获得了几个置换函数的无穷类.利用我们所得的置换函数和Maiorana-Mcfarland(简记为M-M)函数,我们可以构造一些Bent函数的无穷类.第一章介绍了本文的研究背景和现状,以及一些相关的基本概念和主要引理.第二章首先找到了F2上几个置换函数,利用Kronecker积给出了用有限个置换函数构造无穷类置换函数的一般递归方法,并且构造出了一系列新的无穷类的置换函数.我们运用计算机搜索,分别找到了F2上3维到9维的若干个新的置换函数,为构造F2上n(n ≥ 4)维无穷类Bent函数奠定了基础.最后,用计算机搜索找到了 F3和4上几个新的置换函数.第三章利用置换函数和M-M函数提出了递归构造Bent函数的新方法.并且获得了几个无穷类的Bent函数.第四章对本文做了总结,并提出了一些建议和一些未解决的问题.

关键词： Bent函数置换函数 M-M函数 Kronecker积

来源：评论

学校读者我要写书评

暂无评论

三类置换函数的差分性质研究

三类置换函数的差分性质研究

引用

作者：朱海莹湖北大学

学位级别：硕士

对称密码依据加密方式的不同分为流密码和分组密码,被广泛应用在多种加密协议的核心当中.密码函数作为流密码中的密钥流生成器和分组密码中的迭代轮函数,通常是对称密码算法中的唯一非线性部件.由于密码分析者往往针对密码系统中的密码... 详细信息

对称密码依据加密方式的不同分为流密码和分组密码,被广泛应用在多种加密协议的核心当中.密码函数作为流密码中的密钥流生成器和分组密码中的迭代轮函数,通常是对称密码算法中的唯一非线性部件.由于密码分析者往往针对密码系统中的密码函数对整个系统进行攻击,因此为了提高密码系统的安全性,密码函数应具备优良密码学性质以免受特定类型的密码学攻击.差分攻击是分组密码算法中最经典的攻击方式之一,并因其有效性,包含乘法攻击等在内的多种差分攻击的变体被相继提出.通常地,密码函数的(c-)差分均匀度越低,其抵抗差分攻击(乘法攻击)的能力越强.基于此,本文主要关注密码函数的差分性质和c-差分性质,具体研究内容如下:本文基于迹函数和“分段式”构造方法,设计出偶特征域上三类置换函数.通过借助有限域上解方程的技巧以及对解的个数的细致分析,本文证明出这三类置换函数的差分均匀度分别为6、8、10,且其c-差分均匀度分别为6、7、10.值得注意的是,尽管本文中第一类置换函数与一类已知函数Carlet-Charpin-Zinoviev(简称CCZ)等价,但这类函数从形式上推广了已知函数,并且本文研究了其c-差分均匀度.除此之外,数据表明第二类和第三类置换函数与已知的具有相同差分均匀度的函数均是CCZ不等价的,从而本文得到了两类新的具有较低差分均匀度的置换函数.

关键词：差分均匀度 c-差分均匀度置换函数

来源：评论

学校读者我要写书评

暂无评论

平衡向量布尔函数和置换函数的构造

平衡向量布尔函数和置换函数的构造

引用

作者：张雪西安电子科技大学

学位级别：硕士

密码函数包括布尔函数和向量布尔函数两大类,是流密码和分组密码算法中的非线性部件,其密码学性质好坏决定着整个算法的安全性。为了同时抵抗多种攻击,要求一个好的密码函数同时满足多种密码学性质。本文主要研究向量布尔函数的平衡性... 详细信息

密码函数包括布尔函数和向量布尔函数两大类,是流密码和分组密码算法中的非线性部件,其密码学性质好坏决定着整个算法的安全性。为了同时抵抗多种攻击,要求一个好的密码函数同时满足多种密码学性质。本文主要研究向量布尔函数的平衡性和非线性度这两种密码学性质,取得以下研究成果:1.给出了一种利用M-M型布尔函数构造半Bent向量布尔函数的方法。通过控制每个分量函数中的φ映射,构造出一类输出维数大于输入变量维数一半的平衡向量布尔函数,其非线性度达到Bent级联界。并在输入变量维数的奇偶性不同时分别进行讨论。通过该方法构造的半Bent向量布尔函数类的数目非常可观,远远大于（?）×（2k）!)。给出了一个通过该方法构造函数的实例。最后通过适当拓展该构造增大了函数的输出维数。2.给出一种利用M-M型布尔函数在向量空间上构造非线性度良好的置换函数的方法。首先给出了一类有特殊谱值特性的Plateaued置换函数的构造,这是一类可灵活扩展的构造,可以得到数目可观的置换函数。其次构造了一类非线性度不为零的向量空间上的置换函数,弥补了以上Plateaued置换函数的缺陷。方法是在某些分量函数后级联性质好的布尔函数,选取高非线性度置换函数的分量函数作为级联的函数。并在置换函数维数和级联函数维数的奇偶性不同时分四种情况讨论。最后构造了一类非线性度良好的置换函数,通过修改各分量函数的φ映射,使其不再为单射,所得置换函数的非线性度较以上构造有了明显提高。

关键词：布尔函数向量布尔函数置换函数非线性度平衡性半Bent函数

来源：评论

学校读者我要写书评

暂无评论

特征为2的有限域上的一类差分4一致函数

引用

数学进展 2014年第4期43卷 543-550页

作者：肖理张习勇信息工程大学网络空间安全学院应用数学系郑州河南450002 中国科学院信息工程研究所信息安全国家重点实验室北京100093

有限域上的低差分一致性函数在密码学中有着重要的应用背景.目前人们发现的特征为2的有限域上的差分4一致函数并不是很多.通过交换定义在有限域F_2~n上的Kasami几乎完全非线性函数x^(2^(2k)—2~k+1)任意两点之间的取值,给出了一类新的差... 详细信息

有限域上的低差分一致性函数在密码学中有着重要的应用背景.目前人们发现的特征为2的有限域上的差分4一致函数并不是很多.通过交换定义在有限域F_2~n上的Kasami几乎完全非线性函数x^(2^(2k)—2~k+1)任意两点之间的取值,给出了一类新的差分4一致函数;并在n为奇数的情况下,证明了所给出的这类函数是具有较高非线性度和代数次数的置换函数.

关键词：差分4一致函数 Kasami 几乎完全非线性函数置换函数非线性度

来源：评论

学校读者我要写书评

暂无评论

基于邻近移动社交网络中朋友匹配的安全研究

基于邻近移动社交网络中朋友匹配的安全研究

引用

作者：陈增宝西安电子科技大学

学位级别：硕士

近年来社交网络技术的不断发展，以及移动终端设备大范围的普及和应用，催生了移动社交网络的出现，其迅猛的发展对人们的生活和工作产生了极大的影响，并成为我们日常生活不可或缺的重要组成部分。基于邻近的移动社交网络是随着移动社... 详细信息

近年来社交网络技术的不断发展，以及移动终端设备大范围的普及和应用，催生了移动社交网络的出现，其迅猛的发展对人们的生活和工作产生了极大的影响，并成为我们日常生活不可或缺的重要组成部分。基于邻近的移动社交网络是随着移动社交网络的进一步发展而逐渐出现的一条重要分支，它指的是在地理位置上相互邻近的移动用户之间，通过移动设备上的WiFi/Bluetooth等接口进行各种各样的社交活动而形成的一种状态。基于属性的朋友匹配与传统的好友推荐相比较，它更能满足用户的个性化需求，使得用户之间不再是被动地接受第三方的推荐，而是通过设定特定的属性主动定向的寻求自己感兴趣的好友。\n 基于邻近的移动社交网络中基于属性的好友匹配不仅方便和丰富了人们的社交活动，使得有相同兴趣的移动用户之间自由地交流，也促进了移动社交网络的进一步发展，因此受到越来越多的移动用户的青睐。但是，在这个信息爆炸式发展的时代，人们在享受信息带来的方便的同时，也承受着个人隐私信息泄露带来的困扰，因此人们对自己的个人隐私问题也越来越关注。针对这些问题，本文设计了基于属性的两方朋友匹配方案、多方朋友匹配方案和群匹配方案，这些方案不仅实现了用户之间的个性化和细粒度匹配，还使得参与匹配的用户的个人隐私信息得到了有效的保护。本文的主要内容如下：\n (1)我们针对基于属性的好友匹配问题分析了其研究背景以及近年来提出的匹配方案。这些方案通常需要第三方服务机构的支持，实现了用户之间的粗粒度匹配，不能全面地保护用户的隐私信息，并且计算量相对较高。\n (2)针对基于属性的两方朋友匹配问题，我们设计了安全高效的匹配方案。在该方案中，我们对每个属性设定合适的权重，基于属性的权重实现了用户间的细粒度匹配；该方案采用了模指数加密和RC4对称加密相结合的方法，在有效保护用户隐私信息的同时，降低了计算耗时，提高了执行效率；同时，该方案不依赖于任何第三方，提高了匹配方案的灵活性。\n (3)我们将基于属性的两方朋友匹配方案进行了拓展，使其对多方朋友匹配同样适用。该方案并不仅仅支持两个用户之间的匹配，当第三方用户响应匹配请求时，它可以实现该用户与已经形成的社交群之间的匹配，同时保证该用户与所有参与匹配的群成员的隐私信息不被泄露。\n (4)针对群与群之间的匹配问题，我们设计了一个高效的群组匹配方案。该方案基于群成员的属性和属性对应的权重值，实现了两个群之间的精确匹配；同时，该方案不依赖于复杂的加解密算法，而是引入了置换函数，不仅保护了群成员的隐私信息，还降低了匹配的计算时间，提高了方案的执行效率。

关键词：移动社交网络朋友匹配隐私保护置换函数

来源：评论

学校读者我要写书评

暂无评论

抵抗符号执行的不透明谓词混淆技术研究

抵抗符号执行的不透明谓词混淆技术研究

引用

作者：付蒙西安电子科技大学

学位级别：硕士

随着移动互联网的发展,应用软件的数量在不断增长,同时针对软件程序的逆向攻击也越来越多。目前基于符号执行的程序分析技术能够对混淆后的程序进行自动化去混淆攻击,给现有的不透明谓词代码混淆技术带来了很大的挑战。为了克服现有不... 详细信息

随着移动互联网的发展,应用软件的数量在不断增长,同时针对软件程序的逆向攻击也越来越多。目前基于符号执行的程序分析技术能够对混淆后的程序进行自动化去混淆攻击,给现有的不透明谓词代码混淆技术带来了很大的挑战。为了克服现有不透明谓词混淆的缺点,本文提出了一种新的能够抵抗符号执行的不透明谓词,并且基于这种不透明谓词设计并实现一个抵抗符号执行的自动化代码混淆方案。本文研究的主要工作和创新点如下:一、提出了一种新的基于置换的不透明谓词。为了抵抗基于符号执行的程序分析,本文提出了一种基于置换函数的单射性来构造不透明谓词的方法,通过使用比特向量上的置换函数,再结合函数复合的性质,构造出关于置换函数单射性的恒等式作为不透明谓词。本文提出的不透明谓词构造方法只需要将简单的置换函数进行函数复合,就足以构造出具有很高复杂度的比特向量约束。通过构造复杂的路径约束,不透明谓词就能有效增加符号执行引擎中约束求解器的求解时间,以此达到抵抗符号执行分析的目的。基于置换的不透明谓词克服了现有不透明谓词安全性低的缺点,此外还具有构造简单、运行高效、通用性强、隐蔽性好等优点。二、设计了一个新的使用基于置换的不透明谓词的自动化代码混淆框架。本文设计的这种自动化代码混淆框架只需要输入程序的源代码,就能够自动化地在程序中构造出各种类型的基于置换的不透明谓词。通过对程序进行分析,混淆框架能够自动地向程序的抽象语法树中插入构造的不透明谓词,并生成对应的虚假代码,最终输出混淆后的程序二进制代码,实现虚假控制流混淆。混淆框架还可以使用其他代码控制流混淆技术作为辅助,进一步提高混淆的复杂程度。通过使用基于置换的不透明谓词,自动化代码混淆框架能让混淆后的程序获得抵抗符号执行的能力。三、基于LLVM编译器框架编程实现了一个自动化代码混淆工具。利用自动化代码混淆工具,本文使用了Angr符号执行引擎和多种现代SMT求解器,对52种不同类型的基于复合置换函数的不透明谓词进行了安全性和高效性上的实验与评估。实验结果显示,相比于现有不透明谓词,基于置换的不透明谓词使符号执行的平均分析时间从3秒左右增加到500秒以上;使SMT求解器的求解时间从最短的0.05秒以下最高增加到12小时以上,同时在执行时间上的开销只增加了约5.9%,在代码体积上的开销只增加了约6.2%。实验表明基于置换的不透明谓词混淆具有良好的安全性和高效性。

关键词：代码混淆不透明谓词符号执行约束求解置换函数

来源：评论

学校读者我要写书评

暂无评论

航空器着陆时间动态分配算法

引用

中国民航飞行学院学报 2001年第4期12卷 29-31页

作者：杨晓嘉李志蜀吴振亚民航第二研究所四川大学

空中交通流量管理包括战略流量管理和战术流量管理两部分,战术流量管理的一个研究内容是如何使所有空中等待的航班代价最小的问题。本文研究了如何根据外界条件的变化和航空器的预计着陆时间动态地计算航空器的着陆时间,以达到等待成... 详细信息

空中交通流量管理包括战略流量管理和战术流量管理两部分,战术流量管理的一个研究内容是如何使所有空中等待的航班代价最小的问题。本文研究了如何根据外界条件的变化和航空器的预计着陆时间动态地计算航空器的着陆时间,以达到等待成本最小的目的。同时给出一个具体的算例,验证了这种算法的有效性。

关键词：航空器空中交通流量管理置换函数着陆时间动态分配算法

来源：评论

学校读者我要写书评

暂无评论

使用SIMD指令的向量函数快速查表法、系统及介质

使用SIMD指令的向量函数快速查表法、系统及介质

引用

作者：沈洁彭林龙标黄春姜浩唐滔左克方建滨范小康于恒彪崔英博 410073 湖南省长沙市开福区砚瓦池正街47号

本发明公开了一种使用SIMD指令的向量函数快速查表法、系统及介质，快速查表法包括传入操作数，将向量函数的各算法区间的常系数作为被查表数值存入内存中的暂存数组AA，生成查表所需的索引向量VI；使用加载函数将内存中的数组AA加载至... 详细信息

标准号: CN110321161B

本发明公开了一种使用SIMD指令的向量函数快速查表法、系统及介质，快速查表法包括传入操作数，将向量函数的各算法区间的常系数作为被查表数值存入内存中的暂存数组AA，生成查表所需的索引向量VI；使用加载函数将内存中的数组AA加载至向量VA中；按照索引向量VI中元素指示，使用置换函数将VA中的指定元素加载至目的向量VD的指定位置；使用目的向量VD进行后续计算并输出结果。本发明能够充分利用现代SIMD指令集提供的超宽寄存器以及灵活的寄存器操作指令，既能通过保留查表操作来减少向量函数的计算开销，也能保证查表操作的速度，从而提升向量化函数的性能。

关键词：向量函数加载向量查表操作索引向量查表法查表数组内存寄存器操作指令计算开销输出结果元素指示置换函数操作数寄存器灵活的向量化超宽暂存算法保留保证

来源：评论

学校读者我要写书评

暂无评论

使用SIMD指令的向量函数快速查表法、系统及介质

使用SIMD指令的向量函数快速查表法、系统及介质

引用

作者：沈洁彭林龙标黄春姜浩唐滔左克方建滨范小康于恒彪崔英博 410073 湖南省长沙市开福区砚瓦池正街47号

标准号: CN110321161A

来源：评论

学校读者我要写书评

暂无评论

一种基于不经意洗牌的高效IV值计算方法及装置

一种基于不经意洗牌的高效IV值计算方法及装置

引用

作者：陈昕马煜翔冯黎明吴凡 310000 浙江省杭州市余杭区仓前街道鼎创财富中心2幢3012室

本发明公开了一种基于不经意洗牌的高效IV值计算方法，包括：S1.将标签和置换函数输入至不经意洗牌函数中进行处理，不经意洗牌函数返回标签的第一加性份额、第二加性份额给特征方、标签方；S2.特征方根据数据特征对数据进行分箱，并计... 详细信息

标准号: CN118333141A

本发明公开了一种基于不经意洗牌的高效IV值计算方法，包括：S1.将标签和置换函数输入至不经意洗牌函数中进行处理，不经意洗牌函数返回标签的第一加性份额、第二加性份额给特征方、标签方；S2.特征方根据数据特征对数据进行分箱，并计算每个分箱中数据特征所对应的标签的第一加性份额的和，并将计算得到的第一加性份额的和发送给标签方；S3.特征方计算每个分箱中每个数据特征的索引逆置换，并将索引逆置换的结果发送给标签方；S4.标签方根据索引逆置换的结果计算每个箱子中数据特征所对应的标签的第二加性份额的和；S5.标签方根据第一加性份额的和、第二加性份额的和计算总的加性份额的和；S6.标签方根据总的加性份额的和计算每个分箱的IV值。

关键词：加性标签数据特征分箱洗牌索引置换函数返回结果计算置换函数箱子

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：