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

Document type :
Conference papers
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 : Thursday, January 17, 2019 - 3:06:04 PM

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. ⟨hal-00459827⟩

Share

Metrics

Record views

94