Formal Models and Techniques for Analyzing Security Protocols
Release of "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", a new book co-written by Steve Kremer (Secsi project-team) and Véronique Cortier (Cassis project-team).
Security protocols are distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure networks like the Internet, they are notoriously difficult to devise.
This book summarizes the state-of-the-art of the field of formal analysis of security protocols through ten tutorial-like chapters on selected topics, each written by leading experts.
These articles could interest you:
Find out more
See the website of the publisher