Operational Semantics and Verification of Security Protocols by Cas CremersOperational Semantics and Verification of Security Protocols by Cas Cremers

Operational Semantics and Verification of Security Protocols

byCas Cremers, Sjouke Mauw

Paperback | November 9, 2014

Pricing and Purchase Info

$87.96 online 
$90.95 list price
Earn 440 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Operational Semantics and Verification of Security ProtocolsFormat:PaperbackDimensions:9.25 × 6.1 × 0.01 inPublished:November 9, 2014Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642430538

ISBN - 13:9783642430534

Look for similar items by category:

Reviews