Jonathan Rouzaud-cornabas
Jonathan Rouzaud-cornabas
Home
On-going Projects
Finished Projects
Publications
Contact
Supervisor
Duties
Software
Light
Dark
Automatic
Security-Aware Models for Clouds
Arnaud Lefray
,
Eddy Caron
,
Jonathan Rouzaud-Cornabas
,
Zhang Huaxi Yulin
,
Aline Bousquet
,
Jeremy Briffaut
,
Christian Toinard
June 2013
PDF
Cite
Related
Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures
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
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
×