COMETE

L'équipe-projet COMETE étudie les concepts émergeant de l'ère moderne de l'informatique. La sécurité et la protection de la vie privée sont parmi les préoccupations fondamentales qui se posent dans ce contexte: l'interaction fréquente entre les utilisateurs et les appareils électroniques, et la connexion continue entre ces appareils et l'Internet, offrent aux agents malveillants la possibilité de recueillir et stocker une énorme quantité d'informations sans même que les utilisateurs soient conscients. En plus des problèmes de sécurité, les problèmes de la correction, de robustesse et de fiabilité sont rendus plus difficiles par la complexité des systèmes modernes, car ils sont très concurrents et distribués. En dépit d'être basés sur des technologies d'ingénierie impressionnantes, ils sont toujours sujet à un comportement défectueux en raison d'erreurs dans la conception du logiciel.

 

Pour faire face à ces défis, nous étudions des cadres formels pour la spécification de ces systèmes, des théories permettant de définir les propriétés souhaitées de correction et de sécurité, ainsi que des méthodes et des techniques pour prouver qu'un système satisfait ces propriétés.