Verifying Operating System Security (1997)

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

Active Bibliography

1 A Family of Securable Protection Systems – Jonathan S. Shapiro, Sam Weber - 1998
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
682 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975
442 Vulnerabilities Analysis – Matt Bishop - 1999
192 EROS: a fast capability system – Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber - 1999
CHERI: A RISC capability machine for practical memory safety – Jonathan D. Woodruff, C Jonathan D. Woodruff - 2014
282 Improving Host Security with System Call Policies – Niels Provos - 2002
267 Lightweight remote procedure call – Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy - 1990
252 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003