Verifying Operating System Security (1997)

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

Documents Related by Co-Citation

296 Programming Semantics for Multiprogrammed Computations – Jack B. Dennis, Earl C. Van Horn - 1965
429 A Note on the Confinement Problem – Butler W. Lampson - 1973
171 Improving IPC by kernel design – Jochen Liedtke - 1993
648 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
39 EROS: A Capability System – J. S. Shapiro, J.M. Smith, D.J. Farber - 1997
414 lmbench: Portable Tools for Performance Analysis – Carl Staelin, Hewlett-packard Laboratories - 1996
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
377 On µ-kernel construction – Jochen Liedtke - 1995
58 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