"Formal Methods of Assuring Security of Protocols." The Computer Journal 45, no. 1 (2002): 46-54.