Vulnerabilities Analysis

@inproceedings{bishop-1999, 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...}, author = {Bishop, M. }, booktitle = {Proceedings of the 2nd International Workshop on Recent Advances in Intrusion Detection (RAID'99)}, citeulike-article-id = {2729747}, keywords = {security, software, taxonomy, vulnerability}, posted-at = {2008-04-28 12:37:29}, priority = {3}, title = {Vulnerabilities Analysis}, url = {http://citeseer.ist.psu.edu/257004.html}, year = {1999} }

TY - CONF ID - bishop-1999 L3 - citeulike-article-id:2729747 TI - Vulnerabilities Analysis T2 - Proceedings of the 2nd International Workshop on Recent Advances in Intrusion Detection (RAID'99) N2 - 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... KW - security KW - software KW - taxonomy KW - vulnerability AU - Bishop, M PY - 1999/// UR - http://citeseer.ist.psu.edu/257004.html ER -