Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Operational Semantics and Verification of Security Protocols

Operational Semantics and Verification of Security Protocols

by Cas Cremers, Sjouke Mauw

Springer-Nature New York Inc · 2012

₹5,064

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Operational Semantics and Verification of Security Protocols by Cas Cremers & Sjouke Mauw is a 174-page book published by Springer-Nature New York Inc in 2012.

The book deals with Computer network protocols, Computer security, Computer networks and Security measures.

Book details

ISBN-13
9783540786351
ISBN-10
354078635X
Authors
Cas Cremers, Sjouke Mauw
Published
2012
Edition
1
Pages
174
Language
English
Condition
New
See all