- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche PESTO
Techniques de Preuves pour les Protocoles de Sécurité
- Responsable : Steve Kremer
- Type : Équipe-projet
- Centre(s) de recherche : Nancy
- Domaine : Algorithmique, programmation, logiciels et architectures
- Thème : Sécurité et confidentialité
- Partenaire(s) : CNRS,Université de Lorraine
- Collaborateur(s) : CNRS, INRIA
Présentation de l'équipe
L'objectif de l'équipe PESTO est de concevoir des modèles et technique pour l'analyse et la conception assistée par ordianteur de protocoles de sécurité. Alors qu'historiquement les protocoles de sécurité visaient à protéger la confidentialité et l'authentification, la situation a changé. Les protocoles de vote électronique doivent garantir l'anonymat du votant, tout en garantissant la transparence du scrutin; les données sont transmis en utilisant des services web; les protocoles implantés dans les puces RFID et les téléphones portables doivent garantir qu'on ne puisse pas tracer les utilisateurs. À cause des logiciels malveillants de plus en plus répandus, les protocoles de sécurité utilisent de nouveaux mécanismes, tels que du hardware de confiance ou des authentifications multi-facteurs, afin de garantir des propriétés de sécurité et ceci même si la plateforme sur laquelle ces protocoles s'exécutent est compromise. Les techniques et outils existants sont cependant incapables d'analyser les propriétés de sécurité requises par ces nouveaux protocoles et prendre en compte les nouveaux mécanismes déployés et modèles d'attaquants correspondants.
Mots-clés : Protocoles de sécurité Méthodes formelles Déduction automatique Vote électronique
Equipes de recherche du même thème :
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- COMETE - Concurrence, Mobilité et Transactions
- PRIVATICS - Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information
- PROSECCO - Programming securely with cryptography
- TAMIS - Analyse de la menace et atténuation pour la sécurité des informations
Contact
Responsable de l'équipe
Steve Kremer
Tél: +33 3 54 95 86 60
En savoir plus
Généalogie
Cette équipe fait suite à