Securing Time in Untrusted Operating Systems with TimeSeal.
Fatima M. AnwarLuis GarciaXi HanMani B. SrivastavaPublished in: RTSS (2019)
Keyphrases
- operating system
- high assurance
- third party
- computer systems
- privacy preserving
- virtual machine
- microsoft windows
- information security
- distributed systems
- windows xp
- memory management
- windows nt
- linux kernel
- security policies
- security mechanisms
- address space
- multicore processors
- virtual memory
- data processing
- operating environment
- data management
- database