Announcements
Center for Information Protection
UC Davis is planning to join the NSF I/UCRC
Center for Information Protection. We are looking
for companies to join our Industrial Advisory
Board.
Find out more here!
Conferences and Workshops
- CSET ’09 (due 5/15)
- ISGIG 2009 (due 5/22)
- ACSAC 25 (due 6/1)
Scholarships and Such
- I3P Scholar Program (due 5/15)
My Links
- My Home Page
- Books
- Classes
- Papers
- Reports and Notes
- Research
- Security in Programming
- Service
- Students
- Talks
- Miscellaneous
- My Family
- About Me (CV and such)
Other Links
- MyUCDavis
- Computer Security Lab
- Dept. of Computer Science
- College of Engineering
- University of California, Davis
- City of Davis
- County of Yolo
- State of California
- United States of America
Checking for Race Conditions in File Accesses
Citation
- M. Bishop and M. Dilger, “Checking for Race Conditions in File Accesses,” Computing Systems 9(2) pp. 131–152 (Spring 1996).
Paper
Abstract
Flaws due to race conditions in which the binding of a name to an object changes between repeated references occur in many programs. We examine one type of this flaw in the UNIX operating system, and describe a semantic method for detecting possible instances of this problem. We present the results of one such analysis in which a previously undiscovered race condition flaw was found.Notice
The version posted here is a manuscript version. The definitive version was published in the Computing Systems 9(2) Spring 1996.
