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)
Share/Save