Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols Book chapter (January 2008)