Jonathan Rouzaud-cornabas
Jonathan Rouzaud-cornabas
Home
On-going Projects
Finished Projects
Publications
Contact
Supervisor
Duties
Software
Light
Dark
Automatic
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
Jeremy Briffaut
,
Jonathan Rouzaud-Cornabas
,
Christian Toinard
June 2009
PDF
Cite
Type
Conference paper
Publication
*Symposium sur la Sécurité des Technologies de l’Information et de la Communication 2009 *
Related
Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
An integrity security property based on information flows : Application to the enforcement of a classical operating system
A New Approach to Enforce the Security Properties of a Clustered High-Interaction Honeypot
Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures
Security-Aware Models for Clouds
Cite
×