Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages - Veronique Cortier - Books - now publishers Inc - 9781601989024 - November 13, 2014
In case cover and title do not match, the title is correct

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

Veronique Cortier

Price
R 1,641
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.

134 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 13, 2014
ISBN13 9781601989024
Publishers now publishers Inc
Pages 134
Dimensions 156 × 234 × 7 mm   ·   199 g
Language English  

See all of Veronique Cortier ( e.g. Paperback Book )