Secure Applications Need Flexible Operating Systems (1997)

Cached

Download Links

by David Mazieres , M. Frans Kaashoek
Venue:In Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HotOS-VI
Citations:30 - 1 self

Documents Related by Co-Citation

119 Checking for Race Conditions in File Accesses – Matt Bishop, Michael Dilger - 1996
14 Fixing Races for Fun and Profit: How to use access(2) – Drew Dean, Alan J. Hu - 2004
627 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
174 Extensible security architecture for Java – Dan S. Wallach, Dirk Balfanz, Drew Dean, Edward W. Felten - 1997
20 Noninterference and intrusion detection – C Ko, T Redmond - 2002
47 Experience with Transactions in QuickSilver – Prank Schmuck, Jim Wyllie - 1991
16 Dynamic detection and prevention of race conditions in file accesses – Eugene Tsyrklevich, Bennet Yee - 2003
21 Model Checking an Entire Linux Distribution for Security Violations – Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin - 2005
11 Fixing races for fun and profit: how to abuse atime – Nikita Borisov, Rob Johnson, Naveen Sastry, David Wagner - 2005
9 Detection of file-based race conditions – K-S Lhee, S J Chapin - 2005
145 Improving IPC by kernel design – Jochen Liedtke - 1993
114 The Flask Security Architecture: System Support for Diverse Security Policies – Ray Spencer, Secure Computing Corporation, Stephen Smalley, Peter Loscocco, National Security Agency, Mike Hibler David Andersen - 1999
3 The Murky Issue of Changing Process Identity: Revising “Setuid Demystified” – Dan Tsafrir, Dilma Da, Silva David Wagner
5 Portably preventing file race attacks with user-mode path resolution – D TSAFRIR, T HERTZ, D WAGNER, D 2008b DA-SILVA
42 Setuid demystified – H Chen, D Wagner, D Dean
8 Operating system integrity in OS/VS2 – W S McPhee - 1974
35 Consh: Confined Execution Environment for Internet Computations – Albert Alexandrov, Paul Kmiec, Klaus Schauser - 1999
340 A Secure Environment for Untrusted Helper Applications -- Confining the Wily Hacker – Ian Goldberg, David Wagner, Randi Thomas, Eric A. Brewer
168 Application performance and flexibility on Exokernel systems – M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth Mackenzie - 1997