Sites Inria

English version

Publication

15/04/2011

Formal Models and Techniques for Analyzing Security Protocols

Formal Models and Techniques for Analyzing Security Protocols

Parution du livre "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", co-écrit par Steve Kremer (équipe-projet Secsi) et Véronique Cortier (équipe-projet Cassis).

Les protocoles de sécurité sont des programmes distribués, omniprésents dans notre quotidien : banque en ligne, commerce électronique, ou encore téléphonie mobile. Leur but est de garder nos transactions et données personnelles confidentielles. Comme ces protocoles s'exécutent sur des réseaux publics et non sûrs, tels qu'Internet, leur conception est particulièrement délicate.
Cet ouvrage dresse un état de l'art du domaine de l'analyse formelle des protocoles de sécurité à travers dix chapitres, écrits par des experts internationaux.

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

Haut de page

Suivez Inria