Datta, Anupam
Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations
- U.S.A.: ProQuest, 2005
- xiv, 155 p.; ill.: 21 cm.
(pbk)
Asynchronous communication
Computer networks -- Security measures
Synchronous communication
Theoretic foundations
005.8 / DAT