@TechReport{BO97, Author = "Bull, J. and Otway, D.J.", Year = "1997", Title = "{The Authentication Protocol}", Number = "DRA/CIS3/PROJ/CORBA/SC/1/CSM/436-04/03", Institution = "Defence Research Agency", Comment = "TPTPRef" }