seL4 Enforces Integrity
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Modeling and Security Analysis of a Commercial Real-Time Operating System KernelPublished by Springer Science and Business Media LLC ,2010
- Analysing the Information Flow Properties of Object-Capability PatternsLecture Notes in Computer Science, 2010
- Operating system verification—An overviewSādhanā, 2009
- Verified Protection Model of the seL4 MicrokernelLecture Notes in Computer Science, 2008
- Secure Microkernels, State Monads and Scalable RefinementLecture Notes in Computer Science, 2008
- Verifying information flow goals in Security-Enhanced LinuxJournal of Computer Security, 2005
- Specification and verification of the UCLA Unix security kernelCommunications of the ACM, 1980
- A Linear Time Algorithm for Deciding Subject SecurityJournal of the ACM, 1977
- Secure Computer System: Unified Exposition and Multics InterpretationPublished by Defense Technical Information Center (DTIC) ,1976
- Programming semantics for multiprogrammed computationsCommunications of the ACM, 1966