XTR: Public Key Cryptography, Algorithm, Diffie Hellman

Martin Hellman: Cryptology, Public key Cryptography, Whitfield Diffie, Ralph Merkle, Diffie-Hellman exchange

Trapdoor Function: Cryptography, Padlock, Asymmetric key Algorithm, Whitfield Diffie, Subset sum Problem, Function (Mathematics)

ProVerif: Automated Reasoning, Diffie Hellman, BSD Licenses, Internet Key Exchange