Christian Toinard

Latest

• Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
• Security-Aware Models for Clouds
• Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures
• MAC protection of the OpenNebula Cloud environment
• PIGA-Virt: an Advanced Distributed MAC Protection of Virtual Systems
• An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS
• PIGA-OS : Retour sur le Système d'Exploitation Vainqueur du Défi Sfécurité
• An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS
• An integrity security property based on information flows : Application to the enforcement of a classical operating system
• From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems
• 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
• Classification of Malicious Distributed SELinux Activities
• Correlation of system events: High performance classification of selinux activities and scenarios