An integrity security property based on information flows : Application to the enforcement of a classical operating system

Jonathan Rouzaud-Cornabas (1, 2) , Jérémy Briffaut (1, 2) , Christian Toinard (1, 2) , Patrice Clemente (1, 2)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 SDS - Sécurité des Données et des Systèmes

Domains: Cryptography and Security [cs.CR]

Jonathan Rouzaud-Cornabas, Jérémy Briffaut, Christian Toinard, Patrice Clemente. An integrity security property based on information flows : Application to the enforcement of a classical operating system. Journée Informatique de la Région Centre 2009, Jan 2010, Blois, France. pp.1. ⟨hal-00459827⟩