Matt Bishop  Home/Search
Context Related
| ucdavis.edu/~bishop/scriv/Bish99a.ps 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: ucdavis.edu/~bishop/scriv...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction and Problem Statement Errors in computer systems and programs are called bugs. Many studies have analyzed the origins of bugs, how to decrease the number of bugs in a system, and how to test for (informally verify) and prove (formally verify) the lack of bugs in a program. Tools such as bounds-checking compilers, dynamic debuggers, and profilers let programmers check for specific bugs in the program. Methodologies such as stepwise refinement breaks the process of design and... (Update)
Cited by: More
A Taxonomy of Causes of Software Vulnerabilities - In Internet Software (Correct)
Reducing Software Security Risk Through an Integrated Approach - David Gilliam David (2000) (Correct)
Intrusion Detection: A Bibliography - Mé, Michel (2001) (Correct)
Similar documents (at the sentence level):
7.9%: A Critical Analysis of Vulnerability Taxonomies - Bishop, Bailey (1996) (Correct)
Active bibliography (related documents): More All
1.4: Vulnerabilities Analysis - Matt Bishop Department (1999) (Correct)
0.5: A Mechanically Verified Language Implementation - Strother Moore (1989) (Correct)
0.3: A Taxonomy of UNIX System and Network Vulnerabilities - Bishop (1995) (Correct)
Similar documents based on text: More All
0.2: Academia and Education in Information Security: Four Years Later - Bishop (2000) (Correct)
0.2: Education in Information Security - Matt Bishop Department (2000) (Correct)
0.1: An Isolated Network for Research - Bishop, Heberlein (1996) (Correct)
Related documents from co-citation: More All
2: Intrusion Con nement by Isolation in Information Systems (context) - Liu, Jajodia et al. - 1999
2: An Intrusion-Detection System Based on the Teiresias Pattern-Discovery Algorithm - Wespi, Dacier et al.
2: Toward cost-sensitive modeling for intrusion detection - Lee, Miller et al. - 2000
BibTeX entry: (Update)
Bishop, M. (1999). Vulnerabilities Analysis. Web proceedings of the 2nd International Workshop on Recent Advances in Intrusion Detection (RAID'99), http://www.raid-symposium.org/raid99. http://citeseer.ist.psu.edu/article/bishop99vulnerabilities.html More
@inproceedings{ bishop99vulnerabilities,
author = "M. Bishop",
title = "Vulnerabilities Analysis",
booktitle = "Proceedings of the 2nd International Workshop on
Recent Advances in Intrusion Detection (RAID'99)",
year = "1999",
url = "citeseer.ist.psu.edu/article/bishop99vulnerabilities.html" }
Citations (may not include all citations):52 Automated Detection of Vulnerabilities in Privileged Program.. - Ko, Fink et al. - 1994
52 Checking for Race Conditions in File Accesses - Bishop, Dilger - 1996
35 A Taxonomy of Computer Program Security Flaws (context) - Landwehr, Bull et al. - 1994
28 A Tour of the Worm (context) - Seeley - 1989
24 Attack Class: Address Spoofing (context) - Heberlein, Bishop - 1996
23 Security Analysis and Enhancements of Computer Operating Sys.. (context) - Abbott, Chin et al. - 1976
21 Property-Based Testing of Privileged Programs - Fink, Levitt - 1994
17 Software Vulnerability Analysis (context) - Krsul - 1998
15 A Taxonomy of Security Faults in the UNIX Operating System - Aslam - 1995
12 Protection Analysis Project Final Report (context) - Bisbey, Hollingsworth - 1978
8 A Critical Analysis of Vulnerability Taxonomies - Bishop, Bailey - 1996
6 Computer System Security Evaluation (context) - Neumann - 1978
4 Discovering Security and Safety Flaws Using Property Based T.. (context) - Fink - 1996
3 Takedown: The Pursuit and Capture of Kevin Mitnick (context) - Shimomure, Markoff - 1996
3 The Structure of the THE Multiprogramming System (context) - Djikstra - 1968
2 A Provably Secure Operating System (context) - Neumann, Robinson et al. - 1975
Documents on the same site (http://seclab.cs.ucdavis.edu/~bishop/scriv/index.html): More
The State Of Infosec Education In Academia: Present And Future - Directions Matt Bishop (Correct)
An Isolated Network for Research - Bishop, Heberlein (1996) (Correct)
Checking for Race Conditions in File Accesses - Matt Bishop (1996) (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