Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations
By: Datta, Anupam.
Material type:
BookPublisher: U.S.A.: ProQuest, 2005Description: xiv, 155 p.; ill.: 21 cm.ISBN: .Subject(s): Asynchronous communication | Computer networks -- Security measures | Synchronous communication | Theoretic foundationsDDC classification: 005.8
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.8 DAT (Browse shelf) | Available | 017825 |
There are no comments for this item.