Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Roger Michael Needham, CBE, FRS, FREng was a British computer scientist. Needham began his undergraduate studies at the University of Cambridge in 1953, graduating with a B.A. in 1956 in mathematics and philosophy. His Ph.D. thesis was on applications of digital computers to the automatic classification and retrieval of documents. He worked on a variety of key computing projects in security, operating systems, computer architecture and local area networks. Among his theoretical contributions is the development of the Burrows-Abadi-Needham logic for authentication, generally known as the BAN logic. His Needham-Schroeder security protocol forms the basis of the Kerberos authentication and key exchange system. He also codesigned the TEA and XTEA encryption algorithms. He joined Cambridge's Computer Laboratory, then called the Mathematical Laboratory, in 1962, became head of the laboratory in 1980, was made a professor in 1981 and remained with the laboratory until his retirement in 1995.