Verifying Operating System Security (1997)

by J. S. Shapiro , S. Weber
Citations:11 - 6 self

Documents Related by Co-Citation

34 EROS: A Capability System – J. S. Shapiro, J.M. Smith, D.J. Farber - 1997
265 Programming Semantics for Multiprogrammed Computations – Jack B. Dennis, Earl C. Van Horn - 1965
159 Improving IPC by kernel design – Jochen Liedtke - 1993
18 The Measured Performance of a Fast Local IPC – Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith - 1996
54 The keykos(r) nanokernel architecture – Alan C. Bomberger, Norman Hardy, A. Peri, Frantz Charles, R. Landau, William S. Frantz, Jonathan S. Shapiro, Ann C. Hardy
33 The checkpoint mechanism in KeyKOS – C R Landau - 1992
396 A Note on the Confinement Problem – Butler W. Lampson - 1973
45 A Provably Secure Operating System: The system, its applications, and proofs – P G Neumann, R S Boyer, R J Feiertag, K N Levitt, L Robinson - 1980
19 Formal Methods: A Practical Tool for OS Implementors – Patrick Tullmann, Jeff Turner, John Mccorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back - 1997
186 Extensible security architecture for Java – Dan S. Wallach, Dirk Balfanz, Drew Dean, Edward W. Felten - 1997
5 Gnosis: A secure operating system for the '90s – W Frantz, C Landau, N Hardy - 1983
9 The KeyKOS/KeySAFE system design – Susan A Rajunas - 1989
42 Improving Security and Performance for Capability Systems – Paul Ashley Karger - 1988
68 The KeyKOS architecture – N Hardy - 1985
42 An Augmented Capability Architecture to Support Lattice Security and Traceability – P A Karger, A J Herbert - 1984
52 Unix Implementation – K. Thompson - 1978
30 Improved Address-Space Switching on Pentium Processors by Transparently Multiplexing User Address Spaces – Jochen Liedtke - 1995
7 State Caching in the EROS Kernel - Implementing Efficient Orthogonal Persistence in a Pure Capability System – Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith - 1996
87 Evolving Mach 3.0 to a Migrating Thread Model – Bryan Ford, Jay Lepreau - 1994