Matt Bishop, Michael Dilger  Home/Search
Context Related
Links: DBLP | mit.edu/pub/dm/pap...shop:tocttou.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/~dm/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. 1. Introduction Ordinary bugs and misconfigurations prevent applications or systems from functioning... (Update)
Cited by: More
Model Checking An Entire Linux Distribution for Security.. - Benjamin Schwarz Hao (Correct)
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
Dataflow Anomaly Detection - Bhatkar, Chaturvedi, Sekar (Correct)
Related documents from co-citation: More All
10: Stackguard: Automatic adaptive detection and prevention of buffer-overflow attac.. - Cowan, Pu et al. - 1998
8: Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
8: FormatGuard: Automatic Protection From printf Format String Vulnerabilities - Cowan, Barringer et al.
BibTeX entry: (Update)
M. Bishop and M. Dilger. Checking for race conditions in file accesses. In The USENIX Association, Computing Systems, pages 131--152, Spring 1996. http://citeseer.ist.psu.edu/bishop96checking.html More
@article{ bishop96checking,
author = "Matt Bishop and Michael Dilger",
title = "Checking for Race Conditions in File Accesses",
journal = "Computing Systems",
volume = "9",
number = "2",
month = "Spring",
pages = "131--152",
year = "1996",
url = "citeseer.ist.psu.edu/bishop96checking.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://amsterdam.lcs.mit.edu/~dm/): More
Serverless Network File Systems - Anderson, Dahlin, Neefe, Patterson.. (1995) (Correct)
Explicit Communication Revisited: Two New Attacks on.. - Abadi (1997) (Correct)
Application Performance and Flexibility on Exokernel.. - Kaashoek, Engler.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC