Normal view MARC view ISBD view

Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations

By: Datta, Anupam.
Material type: materialTypeLabelBookPublisher: 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
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha