Authenticated key exchange provably secure against the man-in-the-middle attack
scientific article; zbMATH DE number 1761149