论文标题
通过低渗透秘密的分散安全电子邮件和消息传递中的身份验证和密钥管理自动化
Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets
论文作者
论文摘要
我们在分散的端到端加密电子邮件和安全消息传递中回顾实体身份验证问题,以提出基于密码实封的密钥交换(PAKE)的实用且自我维持的加密解决方案。这不仅允许用户通过共享的低渗透秘密(例如,令人难忘的单词,没有公共密钥基础架构或值得信赖的第三方)相互验证,而且还为自动化和一系列加密增强功能铺平了道路;通过最大程度地减少人为错误的影响并可能提高可用性,从而提高安全性。首先,我们研究了一些基于语音的带外身份验证的漏洞,特别是对懒惰用户的组合攻击,我们会在安全的电子邮件解决方案的背景下进行分析。接下来,我们建议使用PAKE解决安全平等测试的问题,以实现实体身份验证并建立共享的高渗透秘密密钥。我们的解决方案将自己的脱机设置与电子邮件和现代消息系统的固有异步性兼容。建议的方法可以在关键管理中进行增强功能,例如自动化密钥续订和未来的密钥对身份验证,多设备同步,安全的秘密存储和检索,以及量词后安全性的可能性,以及在主要对称键环境中促进前向秘密和否定性。我们还讨论了可审计胶带的使用来减轻一类在线猜测和中止身份验证协议中的攻击。
We revisit the problem of entity authentication in decentralized end-to-end encrypted email and secure messaging to propose a practical and self-sustaining cryptographic solution based on password-authenticated key exchange (PAKE). This not only allows users to authenticate each other via shared low-entropy secrets, e.g., memorable words, without a public key infrastructure or a trusted third party, but it also paves the way for automation and a series of cryptographic enhancements; improves security by minimizing the impact of human error and potentially improves usability. First, we study a few vulnerabilities in voice-based out-of-band authentication, in particular a combinatorial attack against lazy users, which we analyze in the context of a secure email solution. Next, we propose solving the problem of secure equality test using PAKE to achieve entity authentication and to establish a shared high-entropy secret key. Our solution lends itself to offline settings, compatible with the inherently asynchronous nature of email and modern messaging systems. The suggested approach enables enhancements in key management such as automated key renewal and future key pair authentications, multi-device synchronization, secure secret storage and retrieval, and the possibility of post-quantum security as well as facilitating forward secrecy and deniability in a primarily symmetric-key setting. We also discuss the use of auditable PAKEs for mitigating a class of online guess and abort attacks in authentication protocols.