| 现有科研组 : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper |
| 以前科研组 : | SALSA SPIRAL AnimatLab MALIRE SPI REGAL |
| 以前研究课题 : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
“Formalisations et comparaisons de politiques et de systèmes de sécurité”,
责任导师 Thérèse HARDIN,
答辩 2011-6-16. “Développement de logiciels critiques en Focalize. Méthodologie et outils pour l'évaluation de conformité”,
责任导师 Thérèse HARDIN,
答辩 2011-4-22. “Outil pour implémentation de logiciels certifiables EAL7”,
责任导师 Thérèse HARDIN,
答辩 2010-11-30. “Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves”,
责任导师 Renaud RIOBOO,
答辩 2010-9-28. “Etude de l'apport des méthodes formelles déductives pour les développement de sécurité”,
责任导师 Thérèse HARDIN,
答辩 2010-3-8. “Sémantique des systèmes de contrôle d'accès”,
责任导师 Thérèse HARDIN,
答辩 2007-9-24. “Pas de titre”,
责任导师 Thérèse HARDIN,
答辩 2006-12-1. “Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive”,
责任导师 Marc POUZET,
答辩 2006-5-22. “Sémantique des traits orientés objet de Focal”,
责任导师 Thérèse HARDIN,
答辩 2005-7-18.
