首页/论文/1102.2358

arXiv 1102.23582011-02-11math.GRcs.CR

三种基于矩阵的密钥建立协议的密码学分析

Cryptanalysis of three matrix-based key establishment protocols

Simon R. Blackburn, Carlos Cid, Ciaran Mullan

备注：: 9 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们对Baumslag、Camps、Fine、Rosenberger和Xu等人在2006年提出的一个基于矩阵的密钥传输协议进行了密码分析。我们还密码分析两个最近提出的基于矩阵的密钥协商协议，由于Habeeb，Kahrobaei和Shpilrain，由于Romanczuk和Ustimenko。

英文摘要：

We cryptanalyse a matrix-based key transport protocol due to Baumslag, Camps, Fine, Rosenberger and Xu from 2006. We also cryptanalyse two recently proposed matrix-based key agreement protocols, due to Habeeb, Kahrobaei and Shpilrain, and due to Romanczuk and Ustimenko.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

移位共轭认证协议的密码学分析

Cryptanalysis of shifted conjugacy authentication protocol

在本文中，我们提出了第一个实际的攻击移动共轭为基础的认证协议提出的P.Dehornoy。我们讨论了该原语的弱点，并提出了改进协议的方法。

2007-08-14cs.CRmath.GR

对在特定亚交换平台群中利用（同时）共轭搜索问题的协议进行的密码分析

Cryptanalysis of protocols using (Simultaneous) Conjugacy Search Problem in certain Metabelian Platform Groups

本文针对底层平台群为特定阿贝尔群半直积的基于群的密码系统，利用共轭搜索问题及同时共轭搜索问题进行了密码分析。

2023-09-25cs.CRmath.GR

均值集攻击：Sibert等人认证协议的密码分析

Mean-Set Attack: Cryptanalysis of Sibert et al. Authentication Protocol

我们分析了Sibert等人的基于群的（Feige-Fiat-Shamir型）认证协议，并证明了该协议在计算上不是零知识的。此外，我们提供的实验证据表明，我们的方法是实用的，甚至可以成功的组没有有效的可计算的长度函数，如辫群。这项工作的新颖之处在于，我们没有攻击的协议，试图解决一个潜在的复杂的代数问题，即共轭搜索问题，但使用概率的方法，而不是。

2010-06-24cs.CRmath.GRmath.PR

非关联密钥建立协议及其实现

Non-associative key establishment protocols and their implementation

我们提供了非关联密钥建立协议的实现细节。特别是，我们描述了所有左自分配和所有相互左分配系统的非关联密钥建立协议的实现。

2013-12-24cs.CRmath.GR

Thompson群中Shpilrain-Ushakov协议的密码分析

Cryptanalysis of the Shpilrain-Ushakov Protocol in Thompson's Group

本文证明了在Shpilrain和Ushakov在[9]中提出的公开密钥密码协议中，窃听者总能有效地恢复其中一部分的私钥。因此，窃听者总是可以恢复共享密钥，使协议不安全。

2011-05-18math.ACmath.GR

Anshel-Anshel-Golden-Lemieux密钥协商协议的密码学分析

Cryptanalysis of Anshel-Anshel-Goldfeld-Lemieux key agreement protocol

提出了一种适用于低成本平台的、对计算资源使用有限制的Anshel-Anshel-Golden-Lemieux（简称AAGL）密钥协商协议。该协议的核心是代数橡皮擦（缩写为AE）的概念，据称它是一个适合在轻量级密码学中使用的原语。AE原语是基于一个新的和巧妙的想法，使用一个行动的半直积（半）组，以掩盖涉及的代数结构。AAGL协议的潜在动机是需要保护部署用于识别、认证、跟踪和销售点应用的射频识别（RFID）标签的网络。在本文中，我们重新审视的计算问题上的AE依赖和实证分析其硬度。我们表明，建议的参数值是不可能的实例化的安全协议。更准确地说，在100%随机生成的协议实例中，我们能够找到由TTP算法（AAGL协议的一部分）生成的秘密共轭子z。

2008-01-30math.GR

更多相关论文收起更多论文

Andrecut公开密钥密码体制的密码学分析

Cryptanalysis of Andrecut's public key cryptosystem

我们表明，一个线性分解攻击的基础上的分解方法介绍了第一作者在专著“代数密码学”和一系列的论文中找到交换密钥的Abdrecut的协议。

2015-07-06math.GR

非关联密钥建立中的迭代LD问题

Iterated LD-Problem in non-associative key establishment

我们构造了新的非关联密钥建立协议的所有左自分配（LD），多LD，和相互LD系统。这些协议的硬度依赖于（同时）迭代LD-问题及其泛化的变化。我们讨论了这些协议的实例使用广义移位共轭辫子群和他们的等价物，LD-共轭和$f$ -对称共轭群。我们建议参数的选择，在辫子群，对称群和几个矩阵群的实例。

2013-12-24cs.CRmath.GR

左分配系统的非关联密钥建立

Non-associative key establishment for left distributive systems

我们构造了所有左自分配（LD），多LD，和其他左分配系统的非关联密钥建立协议。这些协议使用广义移位共轭辫子群的实例导致一个自然的，显然是新的群论问题，我们称之为（子群）共轭陪集问题的实例。

2013-10-03cs.CRmath.GR

代数橡皮擦的实用密码分析

A Practical Cryptanalysis of the Algebraic Eraser

Anshel，Anshel，Goldfeld和Lemieaux介绍了彩色Burau密钥协商协议（CBKAP）作为他们的代数橡皮擦方案的具体实例。该方案基于置换群、矩阵群和辫群的技术，专为RFID标签和其他物联网应用等轻量级环境而设计。它被提议作为ISO/IEC 29167-20的基础技术。拥有Algebraf Eraser商标的SecureRF公司已经向IRTF提交了该计划，以实现标准化。我们提出了一种新的密码分析方案。对于与声称的128位安全性相对应的参数大小，我们的实现使用小于8个CPU小时和小于64 MB的内存来恢复共享密钥。

2016-06-02cs.CRmath.GR

广义同时共轭搜索问题的密码分析与代数橡皮的安全性

On the cryptanalysis of the generalized simultaneous conjugacy search problem and the security of the Algebraic Eraser

代数橡皮擦（AE）是一种加密原语，可用于隐藏某些代数密码系统中的信息。彩色Burau密钥协商协议（CBKAP）是由I。Anshel，M. Anshel，D. Goldfeld和S. Lemieux在2006年提出了一种适合在具有有限计算资源的平台上使用的协议，例如RFID和无线传感器。2009年A. Myasnikov和A. Ushnakov提出了对CBKAP的攻击，试图击败广义同时共轭搜索问题，这是CBKAP的公钥计算问题。在本文中，我们研究这种攻击的有效性。我们的发现是，攻击的成功仅来自于将其应用于短密钥，并且使用适当的密钥，攻击在100%的情况下失败，并且不会对CBKAP构成威胁。此外，该攻击对CBKAP做出了在实际实现中不成立的假设，因此不会对应用程序中使用CBKAP构成威胁。

2011-05-05cs.CRmath.GR

非交换代数密码学中计算问题的多项式时间解

Polynomial-time solutions of computational problems in noncommutative-algebraic cryptography

我们介绍了\emph{linear centralizer method}，并使用它来设计一个可证明的多项式时间解决方案的换向器密钥交换问题，计算问题上，在被动的对手模型，安全的Anshel-Anshel-Goldfeld 1999 \emph{Commutator}密钥交换协议是基于。我们也将这种方法应用到\emph{Centralizer}密钥交换协议的计算问题，介绍了Shpilrain和乌沙科夫在2006年。这是第一个可证明的多项式时间密码分析的换向器密钥交换协议，迄今为止最重要的密钥交换协议领域的非交换代数密码学，和第一密码分析（任何种类）的集中式密钥交换协议。与之前对Commutator密钥交换协议的密码分析不同，我们的密码分析不能通过改变协议中使用的分布来挫败。

2015-06-17cs.CRmath.GRmath.RT

基于分解问题的密钥交换协议

A new key exchange protocol based on the decomposition problem

本文提出了一种新的基于非交换群分解问题的密钥建立协议：给定平台群$G$的两个元素$w, w_1$和两个子群$A, B \subseteq G$（不一定是不同的），找到元素$a \in A, b \in B$使得$w_1 = a w b$ .在这里，我们介绍了两个新的想法，提高安全性的密钥建立协议的基础上的分解问题。特别是，我们隐藏（即，不显式地公布）的子组之一$A, B$，从而引入了额外的计算困难的问题，对手，即，找到一个给定的中心化生成的子组。

2005-12-06cs.CRmath.GR

一种通用的双边乘法加密方案及其密码分析

A general encryption scheme using two-sided multiplications with its cryptanalysis

我们证明了代数密码学中许多已知的使用双边乘法的公开密钥交换协议的方案都是这类一般方案的特例。在大多数情况下，这样的计划是建立在平台上的线性空间的子集。他们已经多次妥协的线性分解方法介绍的第一作者。该方法允许在不计算私有数据的情况下计算交换的密钥，因此不解决假设所基于的算法问题。我们证明了该方法可以成功地应用于一般方案，因此它具有一定的普适性。

2017-09-19math.GRmath.RA

在公开密钥密码学中使用判定问题

Using decision problems in public key cryptography

目前已知的基于组合（半）群论的所谓难题的公开密钥建立协议以及完备的公开密钥密码系统。这些问题中的大多数是搜索问题，即，它们的性质如下：给定属性P和存在具有属性P的对象的信息，找到至少一个具有属性P的特定对象。到目前为止，基于非交换（半）群中的搜索问题的密码协议还没有被认为足够安全以成为已建立协议的可行替代方案（如RSA）基于交换（半）群，虽然这些协议中的大多数比RSA更有效。在本文中，我们建议使用组合群论中的判定问题作为公开密钥建立协议或公开密钥密码系统的核心。利用一个流行的判定问题--字问题，我们设计了一个具有以下特点的密码系统：（1）Bob向Alice发送一个加密的二进制序列，Alice以“非常接近”1的概率正确解密;（2）对手，夏娃，谁被授予任意高（但固定）计算速度，不能肯定地识别（至少在理论上），通过使用“蛮力攻击”，“1”或“0”位鲍勃的二进制序列。换句话说就是：无论我们在一开始赋予Eve多快的计算速度，都不能保证她的“蛮力攻击”程序将给出关于Bob序列中任何比特的结论性答案（或以压倒性的概率正确的答案）。

2007-03-22cs.CRmath.GR

置换的积形式及代数橡皮的密码分析

Short expressions of permutations as products and cryptanalysis of the Algebraic Eraser

2004年3月，Anshel、Anshel、Goldfeld和Lemieux提出了\emph{Algebraic Eraser}方案，用于不安全信道上的密钥协商，使用了一种新的无限和有限非交换群的混合。他们还介绍了\emph{Colored Burau Key Agreement Protocol (CBKAP)}，这是该方案的一个具体实现。我们提出了通用的，高效的启发式算法，提取CBKAP提供的公共信息的共享密钥。这些算法是，根据启发式推理和大量的实验，成功的所有大小的安全参数，假设选择的密钥与标准分布。我们的方法来自概率群论（置换群作用和扩展图）。特别是，我们提供了一个简单的算法，找到短表达式的排列在$S_n$，产品给定的随机排列。启发式地，我们的算法给出了表达式的长度$O(n^2\log n)$，在时间和空间$O(n^3)$。此外，这可从\emph{the Minimal Cycle Conjecture}证明，这是一个关于$S_n$上均匀分布的简单假设。实验表明，这些估计中的常数很小。这是$n\ge 256$中解决该问题的第一个实用算法。备注：\emph{Algebraic Eraser}是SecureRF的商标。实际上由SecureRF实现的CBKAP变体使用专有分发，因此我们的结果并不意味着它的漏洞。另见arXiv：abs/12020598

2012-03-06cs.CRmath.COmath.GR

一种基于多循环群的密码体制的分析

Analysis of a certain polycyclic-group-based cryptosystem

我们研究的Anshel-Anshel-Goldfeld换向器密钥建立协议使用某些多环组的安全性。我们发现，尽管基于长度的攻击的成功率低，该协议可以被打破的确定性多项式时间算法。

2015-04-20math.GR