A New Methodology for the Development of Secure and Paranoid Operating Systems.

Nuno Mateus Coelho

Published in: CENTERIS/ProjMAN/HCist (2020)

Keyphrases

operating system
security mechanisms
computer systems
application level
virtual machine
microsoft windows
windows xp
mandatory access control
discretionary access control
high assurance
development process
distributed systems
virtual memory
security requirements
protection scheme
security issues
databases