Using build-integrated static checking to preserve correctness invariants
Proceedings of the 11th ACM conference on Computer and communications security
System and network trustworthiness in perspective
Proceedings of the 13th ACM conference on Computer and communications security
CVM -- A Verified Framework for Microkernel Programmers
Electronic Notes in Theoretical Computer Science (ENTCS)
The Verisoft Approach to Systems Verification
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Formal pervasive verification of a paging mechanism
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Composable security analysis of OS services
ACNS'11 Proceedings of the 9th international conference on Applied cryptography and network security
Carrying goals to newcastle: a tribute to brian randell
Dependable and Historic Computing
System evaluation lifecycle: chasing windmills
Proceedings of the 2012 Information Security Curriculum Development Conference
Object protection in distributed systems
Journal of Parallel and Distributed Computing
| Hi-index | 0.00 |
This paper provides a retrospective view of the designof SRI's Provably Secure Operating System (PSOS), a formallyspecified tagged-capability hierarchical system architecture.It examines PSOS in the light of what has happenedin computer system developments since 1980, andassesses the relevance of the PSOS concepts in that light.