Julien Thomas - Site de thèse : 2007 à 2011 - TELECOM Bretagne
french english

Documents de recherche

Vous trouverez dans cette section les documents liés aux articles de recherche publiés. Ces documents ont pour but de compléter les informations fournies dans les articles. Il est donc conseiller de lire les articles associés, référencés dans la page Publications. De plus, les documents ne fournissent pas la totalité des modélisations et codes sources, pour des raisons de propriété intellectuelle.

Afin d'également analyser ceux-ci vis à vis des objectifs et des résultats, une section « Reflexion » est disponible, lorsque cela set utile.

Modélisations en B

Politiques de déclassification, annexe chapitre 3
Analyse de propriétés de sécurité dans les ECA rules, annexe chapitre 4
Formalisation des ECA rules en B, preuves par systèmes d'inférence, annexe chapitre 4

Grammaires JavaCC

Modèle ETSI/PRIS avec contraintes environnementales

Politiques SELinux et LKMs

Confinement SELinux pour évaluation des identités
Confinement SELinux et LKM pour l'utilisation de TPMs

Logiciels

Contournement des mécanismes de sécurité OpenOffice basés UNO
Moteur d'évaluation de licences ODRL avec contraintes environnementales
Modélisation et evaluation de politique de déclassification
Définition d'une API en java pour l'expression de politiques de sécurité
Génération automatisée de triggers sécurisés, annexe chapitre 7

«Design-by-assumption works as long as assumptions hold. Assumptions are shortcuts to useful efficiencies, provided they are not violated. »
David S. Isenberg

«If the kernel is not evaluated to an MLS-capable protection profile, MLS features cannot be trusted regardless of how impressive the demonstration looks.»
J. Davidson

DGA CNRS

Valid XHTML 1.0 Strict Valid XHTML 1.0 Strict

http://www.julienthomas.eu/