Operational Semantics and Verification of Security Protocols

Format:: e-book
Title:: Operational Semantics and Verification of Security Protocols
Author:: Cremers, Cas; Mauw, Sjouke
Language:: English
Publisher:: Springer Berlin Heidelberg 2012
ISBN:: 3-540-78635-X
3-642-43053-8
3-540-78636-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:3400000000086338?locale=en