Modelling and analysis of security protocols
Peter Ryan‚ Steve Schneider‚ Michael Goldsmith‚ Gavin Lowe and Bill Roscoe
Details
| Publisher |
Addison−Wesley |
| Year |
2001 |
Links
Related pages
|
People |
Peter Ryan‚ Steve Schneider‚ Michael Goldsmith‚ Gavin Lowe and Bill Roscoe
| Publisher |
Addison−Wesley |
| Year |
2001 |
|
People |