Verifying Operating System Security (1997)

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

Active Bibliography

1 A Family of Securable Protection Systems – Jonathan S. Shapiro, Sam Weber - 1998
42 Improving Security and Performance for Capability Systems – Paul Ashley Karger - 1988
168 EROS: a fast capability system – Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber - 1999
6 Enforcing Confinement in Distributed Storage and a cryptographic model for access control – Shai Halevi, Paul A. Karger, Dalit Naor - 2005
16 Architectures and Formal Representations for Secure Systems – Peter G. Neumann - 1995
10 Design Evolution of the EROS Single-Level Store – Jonathan S. Shapiro, Jonathan Adams - 2002
Abstract – Tyler Close, Tyler Close - 2006
38 Capability-based Financial Instruments – Mark S. Miller, Chip Morningstar, Bill Frantz - 2000
6 seL4: from general purpose to a proof of information flow enforcement – Toby Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein - 2013
2 SRI International – Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. Neumann, Ben Laurie
29 Paradigm Regained: Abstraction Mechanisms for Access Control – Mark S. Miller, Hewlett Packard Laboratories, Jonathan S. Shapiro - 2001
24 Capability Myths Demolished – Mark Miller, Ka-Ping Yee, Jonathan Shapiro, Combex Inc - 2003
3 Design and Evaluation of the Hamal Parallel Computer – J. P. Grossman, Thomas F. Knight, Arthur C. Smith - 2002
President – Francis B. Afinidad, Cynthia E. Irvine, Thuy D. Nguyen, Timothy E. Levin, Radm Patrick, W. Dunne, R. Elster, Cynthia E. Irvine, Peter J. Denning, Leonard Ferrari - 2005
1 The Practical Application of a Decidable Access Model – Jonathan S. Shapiro - 2003
43 Secure Network Objects – Leendert Van Doorn, Martín Abadi, Mike Burrows, Edward Wobber - 1996
41 Security for a High Performance Commodity Storage Subsystem – Howard Gobioff, M. Satyanarayanan - 1999
8 Security architecture for component-based operating systems – Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park - 1998
2 Non-delegatable authorities in capability systems – Toby Murray, Duncan Grove - 2008