Share/Save

Formal Methods of Assuring Security of Protocols

Publication Type:

Journal Article

Source:

The Computer Journal, Volume 45, Issue 1, p.46-54 (2002)