Operational Semantics and Verification of Security Protocols - bib.howest.be

Operational Semantics and Verification of Security Protocols

Type:: e-book
Titel:: Operational Semantics and Verification of Security Protocols
Auteur:: Cremers, Cas; Mauw, Sjouke
Taal:: Engels
Uitgever:: 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