Modeling and analysis of security protocols
By: Ryan, Peter.
Contributor(s): Goldsmith, Michael | Lowe, Gavin | Schneider, Steve.
Material type:
BookPublisher: Harlow: Addison-Wesley, 2001Description: xiv, 300 p.; : 24 cm.ISBN: 0201674718 .Subject(s): Computer network protocols | Computer networks - Access control | Computer security | Computers - Access control | Cryptography - Mathematical modelsDDC classification: 005.8
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.8 RYA (Browse shelf) | Available | 011738 |
There are no comments for this item.