Foundations and Applications of Security Analysis

Name: Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis
Brand: Springer-Verlag New York Inc
SKU: 9783642034589
Price: 4219.00 INR
Availability: InStock

Joint Workshop on Automated Reasoning for Security Protocol Analysis

by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

Springer-Verlag New York Inc · 2009

₹4,219

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

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis is written by England) Issues in the Theory of Security (2009 York. This edition from Springer-Verlag New York Inc (2009) has 223 pages. It belongs to the LNCS sublibrary: SL 4-security and cryptology series.

Topics covered include Congresses, Formal methods (Computer science), Computer security and Cryptography.

Subjects

Book details

ISBN-13: 9783642034589
ISBN-10: 3642034586
Authors: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)
Publisher: Springer-Verlag New York Inc
Published: 2009
Series: LNCS sublibrary: SL 4-security and cryptology
Edition: 2009 ed.
Pages: 223
Language: English
Condition: New
Subject: Cryptography