Formal models and techniques for analyzing security protocols
By: Cortier, Veronique.
Contributor(s): Kremer, Steve.
Material type:
BookSeries: Cryptology and information security series.Publisher: Amsterdam: IOS Press, 2011Description: vii, 303 p.; ill.: 25 cm.ISBN: 9781607507130 .Subject(s): Computer networks -- Security measures | Computer security | Computers -- Access control | Electronic information resources -- Access controlDDC classification: 005.82
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.82 COR (Browse shelf) | Available | 026475 |
There are no comments for this item.