Formal Methods of Assuring Security of Protocols Publication Type: Journal Article Authors: Susan Older; Shiu-Kai Chin Source: The Computer Journal, Volume 45, Issue 1, p.46-54 (2002)
