Jonathan Rouzaud-cornabas
Jonathan Rouzaud-cornabas
Home
On-going Projects
Finished Projects
Publications
Contact
Supervisor
Duties
Software
Light
Dark
Automatic
An integrity security property based on information flows : Application to the enforcement of a classical operating system
Jonathan Rouzaud-Cornabas
,
Jeremy Briffaut
,
Christian Toinard
,
Patrice Clemente
January 2010
PDF
Cite
Type
Conference paper
Publication
*Journée Informatique de la Région Centre 2009 *
Related
Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
Correlation of system events: High performance classification of selinux activities and scenarios
A New Approach to Enforce the Security Properties of a Clustered High-Interaction Honeypot
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS
ANR SEC&SI: Un défi pour la réalisation d'un système d'exploitation cloisonné et sécurisé pour l'Internaute: Le Projet SPACLik
Cite
×