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

Document type :
Conference papers
Journée Informatique de la Région Centre 2009, Jan 2010, Blois, France. pp.1, 2010
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00459827
Contributor : Jonathan Rouzaud-Cornabas <>
Submitted on : Thursday, February 25, 2010 - 12:00:33 PM
Last modification on : Wednesday, November 29, 2017 - 10:19:48 AM

Identifiers

  • HAL Id : hal-00459827, version 1

Collections

Citation

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, 2010. 〈hal-00459827〉

Share

Metrics

Record views

91