Publications/Communications


- Mathieu Jaume, Valérie Viet Triem Tong, and Guillaume Hiet, Spécification et mécanisme de détection de flots d'information illégaux, Technique et Science Informatique, TSI Vol 31, To appear, 2012.
- Mathieu Jaume, and Renaud Rioboo, Développement de systèmes sécurisés avec l'atelier Focalize, 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012), 2012.
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume and Hélène Kirchner, Formal specification and validation of security policies, Foundations & Practice of Security (FPS 2011), Vol. 6888 of Lecture Notes in Computer Science, pp 148-163, Springer Verlag, 2012. pdf
- Mathieu Jaume, Valérie Viet Triem Tong, and Ludovic Mé, Flow based interpretation of access control: Detection of illegal information flows, Seventh International Conference on Information Systems Security (ICISS 2011), Vol. 7093 of Lecture Notes in Computer Science, pp 72-86, Springer Verlag, 2011. pdf
- Mathieu Jaume, Security rules versus Security Properties, Sixth International Conference on Information Systems Security (ICISS 2010), vol. 6503 of Lecture Notes in Computer Science, pp 231-245, Springer Verlag. 2010. pdf
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume and Hélène Kirchner, Rule-based Specification and Analysis of Security Policies, 5th International Workshop on Security and Rewriting Techniques, Valencia, Spain, 2010.
- Mathieu Jaume, Valérie Viêt Triêm Tông and Ludovic Mé, Contrôle d'accès versus Contrôle de flots, Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL2010, Poitiers, Juin 2010. pdf
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume and Hélène Kirchner, On Formal Specification and Analysis of Security Policies, 2010 Grande Region Security and Reliability Day, Saarbruken, Germany, 2010. (full paper available on HAL)
- Lionel Habib, Mathieu Jaume and Charles Morisset, Formal definition and comparison of access control models, Journal of Information Assurance and Security (JIAS) Volume 4, Issue 4, Special Issue on Access Control and Protocols, pp 372-381, 2009. pdf
- Mathieu Jaume, Un cadre formel pour le contrôle d'accès., Journées nationales du GDR GPL (Génie de la Programmation et du Logiciel), Toulouse, Janvier 2009. pdf
- Matthieu Carlier, Catherine Dubois, Lionel Habib and Mathieu Jaume, 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, Toulouse, Janvier 2009. pdf
- Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thérèse Hardin, Mathieu Jaume, Charles Morisset, François Pessaux, Renaud Rioboo and Pierre Weis, Trusted Software within FoCaL. Computer & Electronics Security Applications Rendez-vous, CE&SAR 2008, pages 162–177, Journées SSI du CELAR, Trusting Trusted Computing ?, Rennes, Décembre 2008. pdf
- Mathieu Jaume, Descriptions formelles : Comprendre, corriger, implanter, réutiliser. Applicationau contrôle d'accès. Habilitation à Diriger des Recherches, Université Pierre et Marie Curie, Novembre 2008. pdf
- Mathieu Jaume and Charles Morisset, Un cadre sémantique pour le contrôle d'accès, Technique et Science Informatique, TSI 27(8):951-976, 2008. pdf
- Lionel Habib, Mathieu Jaume and Charles Morisset, A formal comparison of the Bell & LaPadula and RBAC models, Fourth International Conference on Information Assurance and Security, IAS'2008, pp 3-8, Naples, Italy, September 2008. pdf
- Mathieu Jaume and Charles Morisset, Contrôler le contrôle d'accès : Approches formelles, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Namur (Belgium), June 2007. pdf
- Mathieu Jaume and Charles Morisset, Towards a formal specification of access control, Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'06), Seattle, August 2006.
- Thérèse Hardin, Mathieu Jaume and Charles Morisset, Access control and Rewrite-systems, 1st International Workshop on Security and Rewriting Techniques, Venice, Italy, 2006.
- Mathieu Jaume and Charles Morisset, A formal approach to implement access control models,, Journal of Information Assurance and Security, Volume 2, pp 137-148. June 2006. pdf
- David Delahaye, Mathieu Jaume and Virgile Prevosto, Coq : un outil pour l'enseignement, Technique et Science Informatique, TSI 24(9):1139-1160, 2005. pdf
- Mathieu Jaume and Charles Morisset, Formalisation and Implementation of Access control models, Information Assurance and Security IAS, International Conference on Information Technology ITCC'2005, Las Vegas, NV USA, pp 703-708, IEEE CS Press, 2005. pdf
- Virgile Prevosto and Mathieu Jaume, Making proofs in a hierarchy of mathematical structures, Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, pp 89-100, 2003. pdf
- Catherine Dubois, Jérome Grandguillot and Mathieu Jaume, Réutilisation de preuves formelles : une étude pour le système Foc, Journées Francophones des Langages Applicatifs, JFLA'03, pp 63-76, 2003. pdf
- Mathieu Jaume, On greatest fixpoint semantics of logic programming, Journal of Logic and Computation, 12 (2):321-342,2002. pdf
- Mathieu Jaume, Logic programming and co-inductive definitions, Proceedings of Computer Science Logic Conference CSL'2000, Fischbachau, Germany, August 2000, vol. 1862 of Lecture Notes in Computer Science, pp 343-355, Springer Verlag. pdf
- Mathieu Jaume. Preuves infinies en programmation logique, Actes des Neuvièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2000), Marseille, Juin 2000, Hermès, pp 33-47. pdf
- Mathieu Jaume, A full formalisation of SLD resolution in the calculus of inductive constructions, Journal of Automated Reasoning, 23 (3-4):347-371,1999. pdf
- Mathieu Jaume, Formalisation de la SLD-Résolution dans le calcul des constructions inductives, Actes des Sixièmes Journées Francophones de Programmation Logique et programmation par Contraintes (JFPLC'97), Orléans, Mai 1997, Hermès, pp 277-291.