【摘要】认证与密钥协商协议(AuthenticatedKeyAgreement,AKA)是密码学的一个重要领域，它允许两个或者多个用户在不安全的网络信道上进行身份/消息认证并协商出一个共享密钥，从而建立一个安全的信道进行通信。由于AKA协议在各个现实网络中都具有着非常广泛的应用，因此它也受到了学者和工业界的高度关注。可证明安全理论是一种公理化的研究方法，它将密码协议的安全性规约到复杂的数学难题或者 […]