From a Generic Framework for Expressing Integrity Properties to a Dynamic mac Enforcement for Operating Systems.
Patrice ClementeJonathan Rouzaud-CornabasChristian ToinardPublished in: Trans. Comput. Sci. (2010)
Keyphrases
- operating system
- mandatory access control
- discretionary access control
- computer systems
- access control
- multilevel secure
- high assurance
- security policies
- virtual machine
- access control policies
- memory management
- microsoft windows
- linux kernel
- windows xp
- distributed systems
- conflict resolution
- security mechanisms
- dynamic analysis
- multi tasking