arXiv cs/01100242001-10-10cs.CR

一种简单的密码认证密钥交换协议

Pretty-Simple Password-Authenticated Key-Exchange Protocol

Kazukuni Kobara, Hideki Imai

摘要：

基于DDH问题求解的困难性，我们提出了一个非常简单的密码认证密钥交换协议。该协议具有以下优点：（1）协议中的$y_1$和$y_2$是独立的，因此它们可以预先计算并独立发送。这加快了协议的速度。(2)客户端和服务器可以使用几乎相同的算法。这降低了实施成本，而不会接受重放攻击和滥用实体作为预言机。

英文摘要：

We propose pretty simple password-authenticated key-exchange protocol which is based on the difficulty of solving DDH problem. It has the following advantages: (1) Both $y_1$ and $y_2$ in our protocol are independent and thus they can be pre-computed and can be sent independently. This speeds up the protocol. (2) Clients and servers can use almost the same algorithm. This reduces the implementation costs without accepting replay attacks and abuse of entities as oracles.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

一种面向网关的基于口令的认证密钥交换协议的弱点分析与改进

Weakness Analysis and Improvement of a Gateway-Oriented Password-Based Authenticated Key Exchange Protocol

最近Abdalla等人提出了一种新的面向网关的客户端、网关和认证服务器之间的基于口令的认证密钥交换（GPAKE）协议，每个客户端与一个可信服务器共享一个人类记忆的口令，这样当客户端想要与网关建立共享会话密钥时，就可以求助于服务器进行认证。在这封信中，我们表明，GPAKE的恶意客户端仍然能够通过执行不可检测的在线密码猜测攻击来获取密码信息，并且不能提供隐式密钥确认。最后，提出了一种针对该攻击的对策.

2010-01-18cs.CR

MFDPG：零存储机密的多因素认证密码管理

MFDPG: Multi-Factor Authenticated Password Management With Zero Stored Secrets

本文调查了45个确定性密码生成器在安全、隐私和可用性上的缺陷，提出了一种零凭证存储的多因素确定性密码生成器（MFDPG），实现了强密码管理并将弱密码网站升级为强多因素认证。

2023-06-26cs.CR

密码认证的去中心化身份

Password-authenticated Decentralized Identities

密码验证身份是互联网上最广泛的用户验证方法，用户在其中与各个服务器建立用户名-密码对，并在以后使用它们进行验证。虽然它们简单、用户友好且被广泛采用，但它们提供了不安全的身份验证，并将服务器操作员定位为受信任方，使他们能够完全控制用户的身份。为了减轻这些限制，许多身份系统采用了公钥密码学和分散化概念。然而，所有这些系统都需要用户创建和管理公钥-私钥对。不幸的是，用户通常没有所需的知识和资源来正确处理他们的加密秘密，这可能导致许多以最终用户为中心的公钥基础设施（PKI）失败。事实上，到目前为止，没有一种能够向Web服务器验证用户的最终用户PKI具有显著的采用率。在本文中，我们提出了密码认证的分散身份（PDID），身份和认证框架，用户可以注册自己的主权用户名密码对，并使用它们作为通用凭证。我们的系统提供了全球命名空间，人类有意义的用户名，并对用户名冲突攻击的弹性。用户的身份可用于向任何服务器认证用户，而不向该服务器泄露关于密码的任何信息，从而不可能针对密码进行离线字典式攻击。我们分析PDID并使用现有的基础设施和工具实现它。我们报告我们的实施和评估。

2021-09-16cs.CR

PASSAT：具有服务器透明性的单密码认证秘密共享入侵容忍存储

PASSAT: Single Password Authenticated Secret-Shared Intrusion-Tolerant Storage with Server Transparency

在本文中，我们介绍了PASSAT，一个实用的系统，以提高目前的云架构提供的安全保证，而不需要任何改变或合作的云服务提供商。PASSAT是一个对云服务器透明的应用程序，允许用户基于单个主密码安全有效地存储和访问存储在公共云存储上的文件。PASSAT采用快速、轻量级的XOR秘密共享方案，将用户的文件秘密共享，并将其分发到n个公开可用的云平台。为了访问文件，PASSAT与n个云平台中的任意k个进行通信以接收共享，并运行秘密共享重建算法来恢复文件。与少于k个平台妥协或勾结的攻击者（内部或外部）无法了解用户的文件或偷偷修改文件。为了向多个云平台验证用户身份，PASSAT将每个平台特有的验证凭证存储在密码管理器中，并受用户主密码的保护。在请求访问文件时，用户输入密码解锁保险库，并获取PASSAT可用于与云存储交互的身份验证令牌。我们基于Kurihara等人的（2，3）-XOR秘密共享的PASSAT实例，与三个流行的存储提供商，即谷歌驱动器，盒子和Dropbox的实施，证实了我们的方法可以有效地提高存储文件的机密性，完整性和可用性，而无需在服务器上进行更改。

2021-02-26cs.CR

位置增强的认证密钥交换

Location-Enhanced Authenticated Key Exchange

我们介绍LOCATHE（位置增强的认证密钥交换），一个通用的协议，池的位置，用户属性，访问策略和所需的服务到一个多因素的身份验证，允许两个对等方建立一个安全的，加密的会话和执行相互认证与预共享的密钥，密码和其他认证因素。LOCATHE致力于：（1）通过临时会话密钥的前向保密性;（2）通过零知识密码证明（ZKPP）的安全性，使得不能从交换机学习密码;（3）不仅使用位置，而且使用从用户到服务的多个认证因素的能力;（4）提供两层隐私认证方案，其中可以基于用户的属性来认证用户，（隐藏她的唯一标识），或者具有完整的个人认证;（5）采用分散式或多权限密文策略基于属性的加密的表现力和灵活性，允许多个服务提供商控制其各自的密钥生成和属性。

2016-02-17cs.CR

密码认证量子密钥交换的安全性研究

On the Security of Password-Authenticated Quantum Key Exchange

受量子密钥分发（QKD）协议的启发，本文研究了无条件安全的密码认证量子密钥交换（quantum PAKE）协议的可验证性，其中的认证是通过人类记忆的密码来实现的。我们首先展示了一系列不可能的结果，禁止实现非常强的安全性，留下了实现较弱安全概念的可行性。然后，我们通过提出一种量子PAKE的构造来积极回答这个开放性问题，该构造可证明在基于模拟的模型中实现永久安全性。持久安全是Müller-Quade和Unruh在2007年提出的一个安全概念，它意味着协议执行后的无条件安全，并且只在协议执行期间减少对手的计算能力，这对于现在的实际用例来说似乎是一个相当合理的假设。

2019-05-29cs.CRquant-ph

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

受保护的密码更改协议

A protected password change protocol

提出了几种受保护的口令修改协议。然而，以前的协议容易受到多种攻击，如拒绝服务，密码猜测，被盗验证者和假冒攻击等。最近，Chang等人提出了一个简单的认证密钥协商和保护密码更改协议，以提高安全性和效率。在本文中，作者将表明，密码猜测，拒绝服务和已知密钥攻击可以在他们的密码更改协议。同时，作者将提出一个新的密码更改协议，以抵御所有的安全威胁。

2005-06-30cs.CR

基于量子密钥分发网络和密码认证秘密共享的不可破解分布式存储

Unbreakable distributed storage with quantum key distribution network and password-authenticated secret sharing

分布式存储在实现网络中长时间的健壮和安全的数据存储方面发挥着至关重要的作用。分布式存储系统由数据所有者机器、多个存储服务器和连接它们的通道组成。在这样的系统中，秘密共享方案被广泛采用，其中秘密数据被分成多个片段并存储在每个服务器中。为了重建它们，数据所有者应该收集多个片段。Shamir的（k，n）-阈值方案将数据分割成n块（份额）进行存储，其中至少有k块必须被收集起来进行重构，该方案保证了信息论的安全性，即即使攻击者能够收集到小于阈值k的份额，他们也无法获得关于数据的任何信息，即使具有无限的计算能力。然而，在这种情况背后，假设数据传输和身份验证必须完全安全，这在实践中并不容易。在这里，我们提出了一个完全信息理论上安全的分布式存储系统的基础上，用户友好的单密码认证的秘密共享方案和安全传输使用量子密钥分发，并在东京都区进行了演示。

2016-07-02cs.CRquant-ph

基于口令的IEEE 1363认证协议的安全性分析

Security Analysis of a Password-Based Authentication Protocol Proposed to IEEE 1363

近年来，人们提出了几种基于口令的认证密钥交换协议。这些协议的目标是安全的，即使样本空间的密码可能是小到足以枚举的离线对手。在2000年的欧洲密码会议上，Bellare、Pointcheval和Rogaway（BPR）提出了一个认证密钥交换的模型和安全定义。他们声称，在理想密码模型（随机预言机）中，加密密钥交换（EKE）核心的双流协议是安全的。Bellare和Rogaway在他们提交给IEEE P1363.2工作组的提案中提出了理想密码的几个实例。从那时起，在理想密码模型中证明基于密码的协议的安全性的兴趣越来越大。例如，Bresson，Chevassut和Pointcheval最近证明了一次加密密钥交换（OEKE）协议在理想密码模型中是安全的。在本文中，我们提出了真实（非理想）密码的例子（包括天真的实现提出的IEEE P1363.2的实例），这将导致破碎的理想化的AuthA协议和OEKE协议的实例。我们的研究结果表明，AuthA协议可以以不安全的方式实例化，并且没有明确定义的（更不用说严格的）方法来区分安全和不安全的实例化。因此，如果没有一个严格的度量标准，理想密码模型的可证明安全性的价值是有限的。

2012-07-23cs.CR

密码保护的灵巧卡和记忆棒身份验证抵御离线字典式攻击

Password Protected Smart Card and Memory Stick Authentication Against Off-line Dictionary Attacks

本文研究了口令保护灵巧卡远程认证的安全需求。近年来，人们提出了几种基于口令的认证密钥交换协议。这些协议用于保护客户端和远程服务器之间基于密码的身份验证。在本文中，我们将集中在一个灵巧卡的所有者和灵巧卡之间的基于密码的认证通过一个不可信的读卡器。在典型的场景中，灵巧卡所有者将灵巧卡插入到不可信的读卡器中，并经由读卡器输入密码，以便灵巧卡执行与远程服务器的认证过程。在这种情况下，我们要保证读卡器将来在没有灵巧卡本身的情况下不能冒充卡的所有者。此外，灵巧卡可能被盗。如果发生这种情况，我们希望确保对手不能使用灵巧卡来冒充卡的所有者，即使密码的样本空间可能小到足以被离线对手枚举。在本文的最后，我们进一步扩展我们的研究结果，便携式非防篡改存储设备，如USB记忆棒的凭证存储。

2012-07-23cs.CR

基于容错学习问题的安全远程密码协议

A Secure Remote Password Protocol From The Learning With Errors Problem

针对经典基于离散对数问题的SRP协议面临的量子计算安全威胁，本文提出一种基于LWE问题的后量子SRP协议，经严格证明其兼具抗量子攻击能力与原协议的安全特性。

2025-01-13cs.CR

一次性密码保护：使用T.E.C.隐写术与安全口令传输协议

One Time Pad Password Protection: Using T.E.C. Steganography and Secure Password Transmission Protocols

不久前，我发明了一种加密方法。最有利的评论没有看到一种方法，而是一种技术的集合。尽管如此，所使用的过程在论文《风语计算机》中有所描述。本文是关于隐写方法的描述，该方法的密码分析的努力，并在现实世界中的应用，该方法作为一个答案的密码文件黑客越来越多的问题。前提是该技术是一个时间垫的变体，使用一种新的方式来产生一个时间垫输出的数字输入。在文献中根本没有这种方法用于加密的记录。数字加密通常将明文的字母视为二进制数，并进行一些数学计算以产生密文。用随机生成的密钥插入比特的想法是新的。因此（因为使用唯一随机生成的密钥），加密在密码分析上是不可破解的和/或在计算上是安全的和/或在信息理论上是安全的。有一个学术版本。对解密的挑战迄今尚未产生解密。讨论了该方法的优缺点。黑客不断渗透网络并窃取密码文件。一旦拥有了密码文件，黑客就通过互联网上的分布式处理单独或集体地解密散列密码的值。从而进入系统。这个问题对于CAESAR（Competition for Authenticated Encryption：Security，Applicationability，and Robustness）来说已经变得足够重要，因此需要发表论文来解决这个问题。这里是一个建议的解决方案。虽然一次性密码本存在计算密集的问题，但是对于相对较短长度的密码，计算成本对于所提供的安全性而言可能是成本有效的。

2013-05-14cs.CR

零知识用户认证：一个过时的想法

Zero-Knowledge User Authentication: An Old Idea Whose Time Has Come

用户认证可以依赖于各种因素（例如，密码、密钥、生物统计数据），但不应泄露任何秘密或私人信息。这个看似矛盾的壮举可以通过零知识证明来实现。不幸的是，天真的基于密码的方法仍然在网络上流行。多因素身份验证方案解决了传统登录过程的一些弱点，但通常存在可部署性问题或进一步降低可用性，因为它们假设用户没有足够的硬件。这种假设不再成立：具有生物识别传感器、摄像头、短距离通信功能和无限数据计划的智能手机已经无处不在。在本文中，我们表明，假设用户有这样的设备，安全性和可用性可以大大提高使用增强的密码认证密钥协商（PAKE）协议和消息认证码。

2019-12-17cs.CR

安全远程口令协议的形式化方法分析

Formal Methods Analysis of the Secure Remote Password Protocol

我们分析了安全远程密码（SRP）协议的结构弱点，使用密码协议分析器（CPSA）在SRP的第一次正式分析（特别是，版本3）。SRP是一种广泛部署的密码验证密钥交换（PAKE）协议，用于1Password，iCloud钥匙串和其他产品。与许多PAKE协议一样，两个参与者使用预先共享的密码来相互验证并建立会话密钥。SRP旨在抵抗字典式攻击，不在服务器上存储明文等效密码，避免专利侵权，并通过不使用加密来避免出口控制。SRP的形式化分析是具有挑战性的，部分原因是现有的工具没有提供简单的方法来推理其使用的数学表达式$v + g^b \mod q$。建模$v + g^b$加密，我们完成了详尽的研究所有可能的执行序列的SRP。忽略可能的代数攻击，这种分析没有发现重大的结构性弱点，特别是没有泄漏任何秘密。我们发现一个显着的弱点，SRP，这是从它的设计约束。恶意服务器可以在没有客户端参与的情况下伪造与客户端的身份验证会话。如果客户端的权限高于服务器，则此操作可能会导致权限攻击升级。我们在使用CPSA之前就设想了这种攻击，并通过使用CPSA生成相应的执行形状来确认它。

2020-03-16cs.CR

安全协议概述

Security Protocols in a Nutshell

安全协议是安全通信的基石。他们部署了一些安全机制来提供某些安全服务。安全协议在分析时被认为是抽象的，但在实现时可能会有额外的漏洞。这份手稿提供了一个整体的研究安全协议。回顾了安全协议的基础，安全协议攻击的分类及其实现，以及协议安全性分析的不同方法和模型。具体来说，它澄清了信息理论和计算安全之间的差异，以及计算和符号模型。此外，认证密钥交换（AKE）和密码认证密钥交换（PAKE）协议的计算安全模型，作为最重要的和最好的研究类型的安全协议，提供了一个调查。

2016-06-02cs.CR

基于灵巧卡和生物特征信任计算的多服务器认证密钥协商方案的安全性分析

Cryptanalysis of Multi-Server Authenticated Key Agreement Scheme Based on Trust Computing Using Smart Cards and Biometrics

通信技术的进步为各种服务提供了可扩展的平台，其中远程用户可以从任何地方访问服务器而无需从其位置移动。它为在线服务提供了独特的机会，使得用户不需要亲自出现在服务中心。这些服务采用认证和密钥协商协议，以确保对资源的授权和安全访问。大多数身份验证方案支持单服务器环境，其中用户必须向每个服务器注册。如果用户希望访问多个应用服务器，他需要向每个服务器注册。虽然多服务器认证方案引入了可扩展的平台，使得用户可以使用单个注册与任何服务器交互。最近，Chuang和Chen提出了一种基于灵巧卡、口令和生物特征的高效多服务器认证密钥协商方案。这是一个轻量级的认证方案，只需要计算哈希函数。在这篇文章中，我们提出了一个简短的评论庄和陈的计划。我们分析了Chuang和Chen的方案，发现他们的方案不能抵抗被盗灵巧卡攻击，这会导致用户的冒充攻击，服务器欺骗攻击和中间人攻击。此外，我们还证明了他们的方案有一个弱密钥协商协议，它不能确保前向保密性。

2014-01-20cs.CR

对PAKE协议的反向在线猜测攻击

Reverse Online Guessing Attacks on PAKE Protocols

Rochester Institute of Technology（罗切斯特理工学院）；National Security Agency（国家安全局）

本文研究了PAKE协议对反向在线猜测攻击的脆弱性，指出在无PKI或无其他认证机制时，攻击者可通过伪装服务器验证密码猜测，建议采用更严格的服务器认证措施。

2026-02-09cs.CR

基于生物特征的多因子模糊提取器认证密钥交换

Biometrics-Based Authenticated Key Exchange with Multi-Factor Fuzzy Extractor

针对现有模糊提取器易遭仿冒攻击的问题，提出整合用户秘密与生物特征的多因子模糊提取器，构建具备多项安全特性的认证密钥交换协议，经形式化证明安全且在SDUMLA数据集上性能表现优异。

2024-05-19cs.CR

基于椭圆曲线密码的会话初始协议双向认证方案的弱点

Weakness in a Mutual Authentication Scheme for Session Initiation Protocol using Elliptic Curve Cryptography

会话初始化协议（SIP）是一种功能强大的信令协议，它控制Internet上的通信，建立、维护和终止会话。SIP支持的服务同样适用于移动和无处不在的计算世界。2009年，Tsai提出了一个认证密钥协商方案作为SIP的增强。最近，Arshad等人证明了Tsai的方案容易受到离线密码猜测攻击和被盗验证者攻击。他们还指出，蔡的方案没有提供已知密钥保密和完美的前向保密。为了克服这些弱点，Arshad等人还提出了一种改进的基于椭圆曲线离散对数问题的SIP双向认证方案，并声称他们的方案可以抵御各种攻击。在本文中，我们做了一个密码分析Arshad等人。的计划，并表明，Arshad等。的方案容易受到密码猜测攻击。

2011-08-20cs.CR