A practical approach for updating an integrity-enforced operating system.

Wojciech Ozga Do Le Quoc Christof Fetzer

Published in: Middleware (2020)

Keyphrases

operating system
high assurance
computer systems
virtual machine
distributed systems
database
multi threaded
address space
windows xp
databases
data processing
application level
application programs