The modelling and analysis of security protocols : the CSP approach /
Ryan, Peter,PhD.
Schneider, S. A.(Steve A.)
Harlow : Addison-Wesley,
2001.
Only first two authors named on cover, as: Peter Ryan and Steve Schneider.
Security protocols.
Computer security.
Computer networks
Computer network protocols.