Operational Semantics and Verification of Security Protocols
Operational Semantics and Verification of Security Protocols PDF book is popular Computers book written by Cas Cremers. The book was released by Springer Science & Business Media on 2012-10-30 with total hardcover pages 176. Fast download link is given in this page, you could read Operational Semantics and Verification of Security Protocols by Cas Cremers in PDF, epub and kindle directly from your devices.
Operational Semantics and Verification of Security Protocols
-
Operational Semantics and Verification of Security Protocols Book Detail
- Author : Cas Cremers
- Release Date : 2012-10-30
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 176
- ISBN 13 : 3540786368
- File Size : 2,2 MB