Sign in
Join Literal
Authors
Author
Steve A. Schneider
Books
The Modelling and Analysis of Security Protocols
Peter Ryan, Steve A. Schneider, Michael Goldsmith, Gavin Lowe, Bill Roscoe