Documents Related by Co-Citation

22 Noninterference and intrusion detection – C KO, T REDMOND
196 MOPS: an Infrastructure for Examining Security Properties of Software – Hao Chen, David Wagner - 2002
21 Dynamic detection and prevention of race conditions in file accesses – Eugene Tsyrklevich, Bennet Yee - 2003
135 Checking for Race Conditions in File Accesses – Matt Bishop, Michael Dilger - 1996
20 Fixing Races for Fun and Profit: How to use access(2) – Drew Dean, Alan J. Hu - 2004
21 RaceGuard: Kernel Protection from Temporary File Race Vulnerabilities – Crispin Cowan, Steve Beattie, Chris Wright, Greg Kroah-hartman - 2001
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
31 Secure Applications Need Flexible Operating Systems – David Mazieres, M. Frans Kaashoek - 1997
52 Experience with Transactions in QuickSilver – Prank Schmuck, Jim Wyllie - 1991
17 Fixing races for fun and profit: how to abuse atime – Nikita Borisov, Rob Johnson, Naveen Sastry, David Wagner - 2005
13 Tocttou vulnerabilities in unix-style file systems: an anatomical study – Wei - 2005
8 A Methodical Defense against TOCTTOU Attacks: The EDGI Approach – C Pu, J Wei - 2006
149 Using Programmer-Written Compiler Extensions to Catch Security Holes – Ken Ashcraft, et al.
51 Improving Computer Security using Extended Static Checking – Brian V. Chess - 2002
9 Preventing race condition attacks on file-systems – P UPPULURI, U JOSHI, A RAY
6 Monitoring the security health of software systems – A AGGARWAL, P JALOTE - 2006
105 Detecting Past and Present Intrusions through Vulnerability-Specific Predicates – Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen - 2005
11 Detection of file-based race conditions – K suk Lhee, S J Chapin - 2005
122 Using Model Checking to Find Serious File System Errors – Junfeng Yang, Paul Twohey, Dawson Engler - 2004