Secure extensible type system for efficient embedded operating system by using metatypes.
Gilles GrimaudYann HodiqueIsabelle Simplot-RylPublished in: ICPADS (2) (2005)
Keyphrases
- operating system
- computer systems
- microsoft windows
- virtual machine
- previously mentioned
- application level
- security mechanisms
- discretionary access control
- cost effective
- distributed systems
- linux kernel
- windows xp
- data model
- security requirements
- software systems
- multi tasking
- learning red hat linux
- database systems