We propose the use of PAKE for achieving and enhancing entity authentication (EA) and key management (KM) in the context of decentralized end-to-end encrypted email and secure messaging, i.e., where neither a public key infrastructure nor trusted third parties are used. This approach not only simplifies the EA process by requiring users to share only a low-entropy secret, e.g., a memorable word, but it also allows us to establish a high-entropy secret key; this key enables a series of cryptographic enhancements and security properties, which are hard to achieve using out-of-band (OOB) authentication. We first study a few vulnerabilities in voice-based OOB authentication, in particular a combinatorial attack against lazy users, which we analyze in the context of a secure email solution. We then propose tackling public key authentication by solving the problem of "secure equality test" using PAKE, and discuss various protocols and their properties. This method enables the automation of important KM tasks (e.g. key renewal and future key pair authentications), reduces the impact of human errors, and lends itself to the asynchronous nature of email and modern messaging. It also provides cryptographic enhancements including multi-device synchronization and secure secret storage/retrieval, and paves the path for forward secrecy, deniability and post-quantum security. We also discuss the use of auditable PAKEs for mitigating a class of online guess and abort attacks in authentication protocols. To demonstrate the feasibility of our proposal, we present PakeMail, an implementation of the core idea, and discuss some of its cryptographic details, implemented features and efficiency aspects. We conclude with some design and security considerations, followed by future lines of work.
翻译:我们建议使用PAKE来实现和加强实体认证(EA)和关键管理(KM),在分散式端对端加密电子邮件和安全电文中实现和加强实体认证(EA)和关键管理(KM),即既不使用公共钥匙基础设施,也不信任第三方。这个方法不仅简化了EA程序,要求用户只分享低渗透性秘密,例如一个难忘的字眼,而且还使我们能够建立一个高渗透性的秘密密钥;这个关键使一系列加密增强和安全特性难以实现,使用带外(OAB)认证。我们首先研究基于语音的OOOB认证中的一些弱点,特别是针对懒惰用户的组合式攻击,我们在安全的电子邮件解决方案中对此进行了分析。我们然后提议通过使用PAKAKE解决“安全平等测试”问题,并讨论各种协议及其属性。这个方法使得重要的知识管理任务(例如关键更新和未来的关键配对认证)自动化,减少人类错误的影响,并借其快速的版本/预知性协议,以及将它作为现代化的电子邮件和存储的升级性。