Sites Inria

Version française

Publication

15/04/2011

Formal Models and Techniques for Analyzing Security Protocols

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.

Keywords: Steve Kremer Cassis Secsi Saclay - Île-de-France Publication Véronique Cortier

Top