Les protocoles de sécurité, applications et enjeux
Vérifier automatiquement les protocoles de sécurité

À l'heure ou les loyers français s'équipent massivement en connexions haut débit pour Internet, où les téléphones portables s'enrichissent de nouvelles fonctionnalités, où l'on déclare ses revenus via Internet, le besoin d'assurer la confidentialité des messages et des données (pour des raisons commerciales, éthiques ou juridiques) a considérablement augmenté. Les milliers de kilomètres de câbles téléphoniques ne pouvant pas être physiquement protégés, la sécurité des communications repose sur l'utilisation de fonctions mathématiques complexes et sur l'emploi de protocoles, appelés protocoles de sécurité, établissant les règles d'échange entre les divers points du réseau. Ces différents protocoles sont aussi bien utilisés dans les distributeurs de billets, la distribution de chaînes télévisées payantes, la téléphonie mobile ou le commerce en ligne. Il est difficile, d'un point de vue théorique et pratique, de garantir qu'un protocole de communication ne possède pas de faille de sécurité. Le projet AVISPA (Automated Validation of Internet Security Protocols and Applications) s'est placé dans ce cadre : développer des techniques de validation de protocoles de sécurité (qui font appel à des notions avancées d'informatique fondamentale) afin de les rendre disponibles de façon simple aux ingénieurs développant des protocoles. L'enjeu est donc double : être à la fois performant dans la validation des protocoles et mettre ces performances à la portée de non-spécialistes des méthodes formelles.

Les applications et les enjeux masqués derrière les protocoles de communication sont multiples et touchent au quotidien de chacun d'entre nous. En premier lieu, compte tenu de la multiplication des connexions, la sécurisation des données permet des économies...