检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

序列密码立方攻击研究进展综述

密码学报（中英文） 2024年第1期11卷 145-158页

作者：田甜戚文峰信息工程大学郑州450001

立方攻击由Dinur和Shamir在2009年欧密会上首次提出,是一种高阶差分攻击和代数攻击.经过近十余年的研究,传统立方攻击不断发展,动态立方攻击、基于可分性的立方攻击、相关立方攻击相继提出,攻击思想不断丰富,攻击技术不断改进,逐渐成为... 详细信息

立方攻击由Dinur和Shamir在2009年欧密会上首次提出,是一种高阶差分攻击和代数攻击.经过近十余年的研究,传统立方攻击不断发展,动态立方攻击、基于可分性的立方攻击、相关立方攻击相继提出,攻击思想不断丰富,攻击技术不断改进,逐渐成为针对基于非线性反馈移位寄存器的序列密码算法的重要攻击方法.特别地,立方攻击自2009年提出以来一直是国际轻量级序列密码标准Trivium最有效的密钥恢复攻击,动态立方攻击攻破了全轮Grain-128算法,Kreyvium、Grain-128AEAD、ACORN这些基于非线性反馈移位寄存器的序列密码算法都可以用立方攻击进行有效分析.本文介绍了立方攻击的基本原理和攻击方法,综述了实验立方攻击、基于可分性立方攻击、立方集构造、动态立方攻击、相关立方攻击等方面的研究进展.

关键词：立方攻击可分性 MILP 序列密码 Trivium

在线全文

学校读者我要写书评

暂无评论

刑事案外人异议制度研究

公安学研究 2024年第1期7卷 81-102,124页

作者：田力男中国人民公安大学法学院北京100038

我国高度重视产权司法保护,但现行法新设刑事案外人出庭制度却对具体规则与程序语焉不详。案外人异议制度具有必要性与正当性。我国完善该制度在理论上不应完全照搬特别程序利害关系人规则,而须结合应然规律和实然需求构建普通程序案外... 详细信息

我国高度重视产权司法保护,但现行法新设刑事案外人出庭制度却对具体规则与程序语焉不详。案外人异议制度具有必要性与正当性。我国完善该制度在理论上不应完全照搬特别程序利害关系人规则,而须结合应然规律和实然需求构建普通程序案外人异议制度。比较法上的不同模式展现该制度可分性特征和相对独立性规律,同时案外人应具有“涉物第三人”的对物之诉当事人角色。在此理论基础上,证成案外人异议参诉的庭审中心程序及保障制度,即先决模式的预先型异议、接续“对人之诉”的同步出庭型异议、相对分离的独立型异议、另行处理的延后型异议等四种程序类型,以及前置公告与事后程序制裁等两类保障制度。最后,从异议客体等切入分析,异议参诉应适用民事证明制度,以实现异议主张。

关键词：案外人异议可分性对物之诉参诉类型程序保障

基于可分性改进分组密码SM4和FOX的积分区分器

在线全文

学校读者我要写书评

暂无评论

密码学报 2023年第6期10卷 1197-1208页

作者：毛永霞吴文玲中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049 河南师范大学数学与信息科学学院新乡453000

可分性是由Todo在EUROCRYPT 2015上首次提出来的,可以看作积分分析的推广,已经被应用于许多对称密码的分析.目前,结合可分性与数学工具,例如混合整数线性规划和布尔可满足性问题等的自动化方法是搜索积分区分器最流行的方法之一.此方法... 详细信息

可分性是由Todo在EUROCRYPT 2015上首次提出来的,可以看作积分分析的推广,已经被应用于许多对称密码的分析.目前,结合可分性与数学工具,例如混合整数线性规划和布尔可满足性问题等的自动化方法是搜索积分区分器最流行的方法之一.此方法根据可分性在密码基本部件上的传播规则建立约束模型,再选择合适的初始可分性搜索积分区分器.对一个分组密码来说,不同的建模方式和模型的精度会影响自动化搜索积分区分器的结果.本文针对分组密码的两种基本部件:分支异或压缩结构和非比特置换的线性变换,分别提出了两种基于比特可分性的建模策略.策略一根据分支异或压缩结构的特点,增加相关分支输入可分性之间的约束条件,使得初始可分性经过首轮分支异或压缩之后的输出可分性为0,进而提高其他分支可分性的传播优势.策略二对非比特置换的线性变换对应的矩阵进行处理,当矩阵中包含非独立可分性传播时,增加相应的约束条件限制非独立传播比特的可分性,从而提高模型的精度,减少冗余可分迹.为了验证两种建模策略的有效性,将新方法应用于分组密码SM4和FOX:(1)构造了SM4的13轮积分区分器,比之前最好的结果多一轮;(2)构造了FOX64和FOX128的3轮积分区分器,都优于目前已知的最好积分区分器.

关键词：积分分析可分性混合整数线性规划 SM4 FOX

在线全文

学校读者我要写书评

暂无评论

分组密码可分性自动化分析的研究

分组密码可分性自动化分析的研究

作者：黄明湖北大学

学位级别：硕士

分组密码在信息安全领域扮演了重要角色.设计分组密码需要遵循两个基本原则:“混淆”与“扩散”,前者可通过S盒实现,后者可通过线性层实现.与设计相对的是分析,分组密码有许多分析方法,例如差分、线性和积分分析等.在欧密会2015上积分... 详细信息

分组密码在信息安全领域扮演了重要角色.设计分组密码需要遵循两个基本原则:“混淆”与“扩散”,前者可通过S盒实现,后者可通过线性层实现.与设计相对的是分析,分组密码有许多分析方法,例如差分、线性和积分分析等.在欧密会2015上积分分析取得突破性进展,Todo提出了广义化的积分性质——可分性.随后,可分性与自动化搜索工具的结合,在分组密码、流密码和认证加密算法等对称密码算法的分析方面取得重大成果.本文主要研究分组密码可分性的自动化分析,具体地,本文将可分性与MILP结合,对密码算法进行积分区分器的搜索,主要贡献有两方面:一、研究具有8比特S盒密码算法可分性的自动化搜索技术.首先,通过对点集不等式刻画技术的总结分析,提出8比特S盒可分迹刻画方法.然后,将该方法与线性层可分性传播理论和S盒组合视角结合,分别对SKINNY128算法和LBlock算法进行积分区分器的搜索,得到了相应算法当前最优积分区分器.二、研究具有复杂线性层密码算法可分性的自动化搜索技术.首先,分析复杂线性层可分性传播的几种刻画方法中所需的不等式数量和求解效率的关系,提出根据输入可分性的汉明重量选取刻画方法的新技术.随后,给出该技术的算法框架并构建新型广义约束MILP模型.最后,将该方法分别应用于线性层使用MDBL矩阵的uBlock算法和线性层使用MDS矩阵的Saturnin算法上,得到了相应算法当前最长轮数的积分区分器.

关键词：可分性分组密码混合整数线性规划积分区分器汉明重量

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于线性层优化实现的可分性分析

基于线性层优化实现的可分性分析

作者：洪春雷湖北大学

学位级别：硕士

分组密码作为现代密码学的重要分支之一,被广泛地应用于信息安全领域.分组密码的安全性依赖于其抵抗所有攻击方法的能力,例如差分分析、线性分析、积分攻击等等.本文主要研究分组密码的积分攻击,其核心步骤为搜索密码算法的积分区分器.... 详细信息

分组密码作为现代密码学的重要分支之一,被广泛地应用于信息安全领域.分组密码的安全性依赖于其抵抗所有攻击方法的能力,例如差分分析、线性分析、积分攻击等等.本文主要研究分组密码的积分攻击,其核心步骤为搜索密码算法的积分区分器.可分性作为一种广义的积分性质,可以利用混合整数线性规划(Mixed Integer Linear Programming,MILP)和布尔可满足问题(Boolean Satisfiability Problem,SAT)等自动化工具搜索分组密码的积分区分器,其中对应模型的精确程度将影响积分区分器的结果.受启发于线性层的不同实现对可分性传播的影响,本文提出一种基于线性层优化实现刻画可分性传播的新技术.研究表明:利用Paar算法的实现刻画线性层的可分性传播,仅会删除孙玲等人(S方法)的方法引入的无效可分路径,而利用BP和XZ算法的实现刻画可分性的传播,不仅会删除S方法中无效的可分路径,同时会引入新的无效可分路径.鉴于上述三种线性层优化实现各自的特点,我们结合这三种不同的实现刻画线性层的可分性传播,从而删除大量S方法中的无效可分路径.最后,将该方法应用于Midori64、Skinny64、LED和AES密码算法.实验结果表明:该方法均可以得到上述密码算法当前最长轮数的积分区分器,并且Skinny64、LED和AES算法的区分器均比S方法多一轮.尽管该方法对于Midori64算法未能构建比S方法更长轮数的积分区分器,但是该方法的5和6轮区分器均比S方法多3个平衡比特.除此之外,本文的方法可以应用于任意复杂的线性层且约束条件的数量呈线性增加,然而张文英等人(ZR方法)的方法仅限于二元矩阵,胡凯等人(HW方法)方法的约束条件数量呈二次方增加.

关键词：分组密码积分攻击可分性线性层自动化搜索

可分性、真空与无神论——《李尔王》中原子论的幽灵

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

国外文学 2016年第4期 72-79页

作者：胡鹏四川外国语大学莎士比亚研究所

莎士比亚所处的时代是科学技术蓬勃发展的时代,而其理论基础则源自于数学与物理学知识,特别是早期现代科学家对物质本质的探讨。本文试图以《李尔王》为例,结合同时代的原子论观念,指出剧中分江山与虚无、混乱世界的本质在于对世界构成... 详细信息

莎士比亚所处的时代是科学技术蓬勃发展的时代,而其理论基础则源自于数学与物理学知识,特别是早期现代科学家对物质本质的探讨。本文试图以《李尔王》为例,结合同时代的原子论观念,指出剧中分江山与虚无、混乱世界的本质在于对世界构成本源的探究,反映出旧认知观念的破碎与新认知观念——机械哲学——确立之间的过渡过程。

关键词：原子论可分性真空无神论《李尔王》

一种最大化样本可分性半监督Boosting算法

在线全文

学校读者我要写书评

暂无评论

南京理工大学学报 2014年第5期38卷 675-681页

作者：侯杰茅耀斌孙金生南京理工大学自动化学院江苏南京210094

针对数据实际分布与假设不匹配时半监督学习算法难以改善分类器性能的问题,该文提出一种最大化样本可分性半监督Boosting算法,通过引入"高密度区域局部散度最小、样本空间全局散度最大"准则来学习未标注的样本。该准则使用两种半监督假... 详细信息

针对数据实际分布与假设不匹配时半监督学习算法难以改善分类器性能的问题,该文提出一种最大化样本可分性半监督Boosting算法,通过引入"高密度区域局部散度最小、样本空间全局散度最大"准则来学习未标注的样本。该准则使用两种半监督假设(聚类假设和流形假设),减少了因半监督假设与数据不匹配造成的准确率下降问题。实验结果表明,该文算法有效提高了Boosting算法在符合聚类假设数据集和符合流形假设数据集上的准确性,提高了分类器噪声数据的稳定性。

关键词：半监督学习 Boosting算法可分性分类器

在线全文

学校读者我要写书评

暂无评论

基于特征空间中类别可分性判据的特征选择

火力与指挥控制 2010年第6期35卷 118-120页

作者：张岐龙单甘霖段修生刘谊露军械工程学院石家庄050003 空军雷达学院武汉430019

针对支持向量机首先要将数据通过一个非线性函数映射到高维特征空间,从而在特征空间中改变了数据的分布,因此在设计支持向量机分类器时有必要在特征空间进行特征选择,而非原空间。提出在特征空间中利用类别可分性判据进行特征选择,将类... 详细信息

针对支持向量机首先要将数据通过一个非线性函数映射到高维特征空间,从而在特征空间中改变了数据的分布,因此在设计支持向量机分类器时有必要在特征空间进行特征选择,而非原空间。提出在特征空间中利用类别可分性判据进行特征选择,将类内类间距离引申到特征空间来计算可分性判据。通过仿真,该方法能够有效地在特征空间进行特征选择。

关键词：特征选择可分性特征空间支持向量机

在线全文

学校读者我要写书评

暂无评论

一种具有可分性的支付方案

计算机应用研究 2009年第7期26卷 2726-2728页

作者：于静李志慧陕西师范大学数学与信息科学学院西安710062

通过对Wang等人的方案的改进和有限域上的多项式理论,提出了一种具有可分性的支付方案。该方案可以抵制Santis等人方案的攻击,增强其安全性,同时也实现了货币的可分性。进一步针对匿名的提升进行了更为详细的研究,给出了具体的实现方法。

关键词：支付方案离散对数哈希函数二次花费可分性