Lessons Learned: Building the Caernarvon High-Assurance Operating System.
Paul A. KargerSuzanne McIntoshElaine R. PalmerDavid C. TollSamuel WeberPublished in: IEEE Secur. Priv. (2011)
Keyphrases
- lessons learned
- high assurance
- operating system
- case study
- computer systems
- future directions
- distributed systems
- virtual machine
- fault tolerant
- microsoft windows
- memory management
- software systems
- access control
- application programs
- multi threaded
- linux kernel
- machine learning
- virtual memory
- address space
- data sets
- application level
- information systems
- participatory design
- cooperative
- windows nt
- real world