An integrity security property based on information flows : Application to the enforcement of a classical operating system - Archive ouverte HAL Access content directly
Conference Papers Year : 2010
No file

Dates and versions

hal-00459827 , version 1 (25-02-2010)

Identifiers

  • HAL Id : hal-00459827 , version 1

Cite

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⟩
70 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More