Research Data

You will find on this section documents mentioned in my published research work.

B Modelings

Downgrading policies (French)

JavaCC Grammars

ETSI/PRIS model with environmental constraints

SELinux Policies and LKMs

SELinux based confinment for identity evaluations
SELinux and LKM based confinment for TPMs usage

Software

Bypassing UNO based Openoffice security mechanisms (English)
Evaluation engine of ODRL licences with environmental constraints
Downgrading policy modeling and simulator

«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