logo EDITE Mathieu JAUME
Identité
Mathieu JAUME
État académique
Thèse soutenue le 1999-01-01
Titulaire d'une HDR (ou équivalent) 2008-11-01
Laboratoire: personnel permanent
Encadrement de thèses (depuis 2007)
0
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1332792364210
Flow based interpretation of access control: Detection of illegal information flows
Seventh International Conference on Information Systems Security (ICISS 2011) 2011
edite:1332792365211
Formal specification and validation of security policies
Foundations & Practice of Security (FPS 2011) 2011
edite:1332792449571
Contrôle d'accès versus Contrôle de flots
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL2010 2010
edite:1332792494807
Rule-based Specification and Analysis of Security Policies
5th International Workshop on Security and Rewriting Techniques (SECRET2010) 2010
edite:13327925431089
Formal definition and comparison of access control models
Vol. 4, No. 4, pp. 372-381 2009
edite:13327925591226
Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil Focal
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'09 2009