检索结果-南通市图书馆

MILP-aided bit-based division property for arx ciphers

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2018年第11期61卷 229-231页

作者： Ling SUN Wei WANG Ru LIU Meiqin WANG Key Laboratory of Cryptologic Technology and Information Security Ministry of EducationShandong University Science and Technology on Communication Security Laboratory No.30 Research Institute of China Electronics Technology Group Corporation State Key Laboratory of Cryptology

Division property, which was proposed by Todo [1]at EUROCRYPT 2015, is a new technique to detect integral property. It could explicitly depict the hidden properties between the traditional ALL and BALANCE properties in integral cryptanalysis [2], which made it an effective method to search integral distinguishers. The definition is given as follows.

关键词： MILP-aided bit-based division property for arx ciphers arx

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

arx结构分组密码积分区分器的自动化搜索

通信学报 2018年第5期39卷 103-110页

作者：韩亚王明生中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049

首先,基于三子集传播的积分可分性质,分别构造arx结构分组密码积分的K集和L集传播方程,其中,经过分组密码轮函数异或操作时,L集所有向量影响K集向量传播;然后,利用SAT/SMT求解器,建立arx结构分组密码积分传播方程;最后,遍历满足一定数... 详细信息

首先,基于三子集传播的积分可分性质,分别构造arx结构分组密码积分的K集和L集传播方程,其中,经过分组密码轮函数异或操作时,L集所有向量影响K集向量传播;然后,利用SAT/SMT求解器,建立arx结构分组密码积分传播方程;最后,遍历满足一定数据复杂度的积分输入,自动化搜索缩减轮数的arx结构分组密码积分区分器。利用该方法能高效地自动化搜索arx结构,包括类SIMON簇、HIGHT、SPECK簇和LEA等分组密码算法的积分区分器。

关键词： arx 三子集积分区分器 SAT/SMT

基于SAT的arx不可能差分和零相关区分器的自动化搜索

在线全文

学校读者我要写书评

暂无评论

电子学报 2019年第12期47卷 2524-2532页

作者：任炯炯张仕伟李曼曼陈少真战略支援部队信息工程大学

arx(Addition,Rotation,Xor)算法基于模整数加,异或加和循环移位三种运算,便于软硬件的快速实现.不可能差分分析和零相关分析是攻击arx的有效方法,攻击的关键是搜索更长轮数、更多数量的不可能差分和零相关区分器.目前很多的搜索方法都... 详细信息

arx(Addition,Rotation,Xor)算法基于模整数加,异或加和循环移位三种运算,便于软硬件的快速实现.不可能差分分析和零相关分析是攻击arx的有效方法,攻击的关键是搜索更长轮数、更多数量的不可能差分和零相关区分器.目前很多的搜索方法都没有充分考虑非线性组件的性质,往往不能搜索得到更好、更准确的区分器.本文提出了基于SAT(Satisfiability)的arx不可能差分和零相关区分器的自动化搜索算法.通过分析arx算法组件的性质,特别是常规模加和密钥模加这两种非线性运算差分和线性传播的特性,给出了高效简单的SAT约束式.在此基础上,建立SAT模型进行区分器的搜索.作为应用,本文首次给出了Chaskey算法13条4轮不可能差分和1条4轮零相关区分器;首次给出了SPECK32算法10条6轮零相关区分器和SPECK48算法15条6轮零相关区分器;在较短的时间内,给出了HIGHT算法17轮的不可能差分和零相关区分器.与现有结果相比,无论是区分器的条数,还是搜索区分器的时间均有明显的提升.此外,通过重新封装求解器STP的输出接口,建立了自动化的SAT\\SMT分析模型,能够给出arx算法在特殊输入输出差分和掩码集合下,不可能差分和零相关区分器轮数的上界.

关键词：不可能差分区分器零相关区分器 arx Chaskey SPECK HIGHT SAT求解器

基于理论建模和arx模型的定位平台系统辨识

在线全文

学校读者我要写书评

暂无评论

振动与冲击 2013年第13期32卷 66-69,75页

作者：汪静姝郭杰竺长安重庆理工大学机械工程学院重庆400054 中国科学技术大学精密机械与精密仪器系合肥230027

为了解精密定位平台的系统特性,建立了单输入双输出动力学模型,并设计相应的定位实验。对原始实验数据进行离散数据插补和归一化处理,在实验数据和动力学模型的基础上,采用最小二乘法进行未知参数的辨识。采用基于arx模型的系统辨识方... 详细信息

为了解精密定位平台的系统特性,建立了单输入双输出动力学模型,并设计相应的定位实验。对原始实验数据进行离散数据插补和归一化处理,在实验数据和动力学模型的基础上,采用最小二乘法进行未知参数的辨识。采用基于arx模型的系统辨识方法对内工作台系统进行辨识。两种辨识结果的对比显示,基于arx模型的辨识结果与实际数据更加吻合,适合描述系统特性;而基于理论模型的辨识结果则更加贴近系统实际结构,对系统结构优化有指导意义。

关键词：定位平台动力学模型系统辨识 arx

在线全文

学校读者我要写书评

暂无评论

基于arx模型的齿轮箱建模方法

振动与冲击 2011年第1期30卷 230-233页

作者：金海薇装备指挥技术学院重点实验室北京101416

齿轮箱是一个结构复杂的系统,输入输出的影响因素众多,于是单输入单输出的系统传递特性必然无法准确地反映实际工况中齿轮箱的运行特征,针对此问题本文提出了基于arx模型的齿轮箱多输入多输出建模方法,并使用两个输入信号(输入轴扭矩和... 详细信息

齿轮箱是一个结构复杂的系统,输入输出的影响因素众多,于是单输入单输出的系统传递特性必然无法准确地反映实际工况中齿轮箱的运行特征,针对此问题本文提出了基于arx模型的齿轮箱多输入多输出建模方法,并使用两个输入信号(输入轴扭矩和转速信号)及三个输出信号(输出轴扭矩、转速信号和箱体上采集的振动加速度信号),将齿轮箱建模为一个二输入三输出的系统。实验结果显示:arx模型从系统固有特性的角度来分析齿轮箱的状态,可以有效区分不同的故障状态。

关键词：齿轮箱外部特性多变量传递特性 arx

在线全文

学校读者我要写书评

暂无评论

arx型密码算法的设计与分析

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

作者：孙思维胡磊刘田雨牛钟锋汪达超张英杰中国科学院大学密码学院北京100049 密码科学技术全国重点实验室北京100878 中国科学院大学网络空间安全学院北京100049 隆德大学电子信息系隆德北京雁栖湖应用数学研究院北京101408 清华大学丘成桐数学科学中心北京100084

arx型密码算法是指由模加(Addition)、旋转移位(Rotation)和异或(XOR)等基本操作设计而成的密码学置换、杂凑函数、分组密码、序列密码、消息认证码和认证加密等对称密码算法.由于在效率、安全性和易实现性等方面的优势,arx型密码得到... 详细信息

arx型密码算法是指由模加(Addition)、旋转移位(Rotation)和异或(XOR)等基本操作设计而成的密码学置换、杂凑函数、分组密码、序列密码、消息认证码和认证加密等对称密码算法.由于在效率、安全性和易实现性等方面的优势,arx型密码得到了广泛应用,多个国际对称密码标准都采用了arx型设计.另一方面,由于arx算法中模加操作带来的复杂性,对arx型密码算法的分析存在诸多困难问题.本文对arx算法设计与分析方面的研究工作进行了归纳总结,提出了一些亟待解决的开放问题.

关键词：对称密码 arx 密码设计密码分析模加

基于Object arx的图形数据库开发在建筑结构CAD中的应用

在线全文

学校读者我要写书评

暂无评论

武汉大学学报（工学版） 2003年第6期36卷 65-69页

作者：龚治国侯建国吴春秋同济大学结构工程与防灾研究所上海200092 武汉大学土木建筑工程学院湖北武汉430072

围绕在利用Objectarx进行结构CAD开发过程中常见的几个问题,如特定实体的定义、实体层属性的设置、标注属性、文本属性和线型属性的实现等,进行了详尽的分析,提出了其解决方法,并给出了相应的建议,以供结构CAD开发研究人员参考.

关键词：建筑结构CAD Object arx 图形数据库实体

arx 在 AutoCAD 二次开发中的研究

在线全文

学校读者我要写书评

暂无评论

机械设计与研究 1998年第2期 22-25+3-4页

作者：韩成果谭超中国矿业大学

本文研究ＡｕｔｏＣＡＤ运行扩展（ＡＲＸ）程序环境，将它与ＡｕｔｏＬＩＳＰ、ＡＤＳ进行系统的比较，讨论如何建立一个ＡＲＸ应用程序，并给出利用ＶｉｓｕａｌＣ＋＋编译ＡＲＸ程序的方法。

关键词： arx C++ AutoCAD的开发

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

arx在建筑装饰CAD中的应用

计算机辅助设计与图形学学报 1999年第5期11卷 426-429页

作者：林毅严隽琪邵辉杨万东傅仕伟戴开宇上海交通大学机械工程学院上海200030 北京晓昕电脑公司北京100028

ＡＲＸ（ＡｕｔｏＣＡＤＲｕｎｔｉｍｅｅＸｔｅｎｓｉｏｎ）是新一代的面向对象的ＡｕｔｏＣＡＤ开发环境．其支持面向对象技术的特性改变了传统的ＣＡＤ软件开发模式．以建筑装饰领域中的楼梯为例，剖析了ＡＲＸ的面向对象分析、设... 详细信息

ＡＲＸ（ＡｕｔｏＣＡＤＲｕｎｔｉｍｅｅＸｔｅｎｓｉｏｎ）是新一代的面向对象的ＡｕｔｏＣＡＤ开发环境．其支持面向对象技术的特性改变了传统的ＣＡＤ软件开发模式．以建筑装饰领域中的楼梯为例，剖析了ＡＲＸ的面向对象分析、设计和开发思想，并深入探讨了开发过程中其它一些关键技术问题，如对象名字管理策略、虚拟用户坐标系（ＵＣＳ）、图形用户界面（ＧＵＩ）、公用库等，展示了ＡＲＸ在建筑装饰ＣＡＤ领域中的广阔应用前景．所讨论内容已应用于ＡＨＤ（Ａｒｃｈｉｔｅｃ－ｔｕｒａｌＨｏｕｓｅＤｅｓｉｇｎ）室内外建筑装饰装璜系统，取得了令人满意的效果．

关键词：面向对象 arx 建筑装饰 CAD