A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols
scientific article; zbMATH DE number 6681090
scientific article