A practical approach for updating an integrity-enforced operating system.
Wojciech OzgaDo Le QuocChristof FetzerPublished in: CoRR (2021)
Keyphrases
- operating system
- high assurance
- computer systems
- virtual machine
- distributed systems
- operating environment
- data integrity
- integrity constraints
- command line
- microsoft windows
- linux kernel
- high speed
- memory management
- virtual memory
- windows xp
- data processing
- data mining
- application level
- multi threaded
- open source
- relational databases