可证明安全的后量子两方口令认证密钥协商协议

口令认证密钥协商可以在客户机和服务器之间建立安全的远程通信，且可以将一个低熵口令放大为一个高熵的会话密钥。然而，随着量子计算技术的快速发展，基于大数分解和离散对数等经典数学难题的PAKA协议面临着严峻的安全挑战。因此，为了构建一个高效安全的后量子PAKA协议，依据改进的Bellare-Pointcheval-Rogaway(BPR)模型，提出了一个基于格的匿名两方PAKA协议，并且使用给出严格的形式化安全证明。性能分析结果表明，该方案与相关的PAKA协议相比，在安全性和执行效率等方面有一定优势，更适用于资源受限的物联网(Internet of Things, IoT)智能移动设备。

Provably secure post-quantum two-party password authenticated key agreement protocol

Password authentication key agreement can not only establish secure remote communication between client and server, but also amplify a low-entropy password into a high-entropy session key. However, with the rapid development of quantum computing technology, PAKA protocol based on classical mathematical problems such as large number decomposition and discrete logarithm is facing serious security challenges. Thus, in order to construct an efficient and secure post-quantum PAKA protocol, This paper proposes a post-quantum lattice-based anonymous two-party PAKA protocol based on the improved BPR model and gives a strict formal security proof. The performance analysis results show that compared with the related PAKA protocol, it has some advantages in security and execution efficiency. So it is more suitable for resource-constrained Internet of Things smart mobile devices.