Sûreté et sécurité avec l'environement Focal "SSURF"
Contact : Mathieu.Jaume (at) nulllip6.frDu 01/01/2007 au 31/12/2009
Sûreté et sécurité avec l'environement FOCAL La sécurité des systèmes d'information est un problème difficile et constitue désormais un domaine de recherche reconnu en informatique. On peut constater que les méethodes empiriques utilisées pour aborder ce problème sont progressivement remplacées par des approches plus formelles. Par exemple, pour atteindre de hauts niveaux de certification, il est nécessaire de fournir un modèle formel du système permettant d'obtenir des preuves formelles mécanisées, de mettre en oeuvre des techniques de test, ou de concevoir des analyses statiques permettant de garantir les propriétés requises.
Bertin Technologies, INRIA, LORIA, CNAM-CEDRICANR
Mathieu JAUME