-
1
-
-
0022420723
-
Defining Liveness
-
Alpern, Bowen and Fred B. Schneider, "Defining Liveness," Information Processing Letters, 21(4):181-185, 1985.
-
(1985)
Information Processing Letters
, vol.21
, Issue.4
, pp. 181-185
-
-
Alpern, Bowen1
Schneider, Fred B.2
-
4
-
-
77949693931
-
-
Anonymous, March
-
Anonymous, JDK 1.2 Security, http://java.sun.com/products/jdk/1.2/docs/guide/security/index.html, March 1998.
-
(1998)
JDK 1.2 Security
-
-
-
7
-
-
0029211469
-
Practical Domain and Type Enforcement for UNIX
-
Oakland, CA, May
-
L. Badger, D. F. Sterne, et al., "Practical Domain and Type Enforcement for UNIX," Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, May 1995.
-
(1995)
Proceedings of the IEEE Symposium on Security and Privacy
-
-
Badger, L.1
Sterne, D. F.2
-
8
-
-
85084162952
-
A Domain and Type Enforcement UNIX Prototype
-
Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker, and Sheila A. Haghighat, "A Domain and Type Enforcement UNIX Prototype," Proceedings of the USENIX Security Conference, 1995.
-
(1995)
Proceedings of the USENIX Security Conference
-
-
Badger, Lee1
Sterne, Daniel F.2
Sherman, David L.3
Walker, Kenneth M.4
Haghighat, Sheila A.5
-
9
-
-
5444269374
-
-
Brian Behlendorf, Roy T. Fielding, Rob Hartill, David Robinson, Cliff Skolnick, Randy Terbush, Robert S. Thau, and Andrew Wilson, Apache HTTP Server Project, http://www.apache.org.
-
Apache HTTP Server Project
-
-
Behlendorf, Brian1
Fielding, Roy T.2
Hartill, Rob3
Robinson, David4
Skolnick, Cliff5
Terbush, Randy6
Thau, Robert S.7
Wilson, Andrew8
-
11
-
-
85094815609
-
-
qmail
-
D. J. Bernstein, qmail, http://cr.yp.to/qmail.html, 1990.
-
(1990)
-
-
Bernstein, D. J.1
-
12
-
-
0030092390
-
Checking for Race Conditions in File Accesses
-
Spring
-
M. Bishop and M. Digler, "Checking for Race Conditions in File Accesses," Computing Systems, 9(2):131-152, http://olympus.cs.ucdavis.edu/bishop/scriv/index.html, Spring 1996.
-
(1996)
Computing Systems
, vol.9
, Issue.2
, pp. 131-152
-
-
Bishop, M.1
Digler, M.2
-
14
-
-
85094840760
-
-
CERT, Advisory CA-96.06: September
-
CERT, Advisory CA-96.06: Vulnerability in NCSA/Apache CGI Example Code, ftp://info. cert.org/pub/cert-advisories/CA-96.06.cgi-example-code, September 1996.
-
(1996)
Vulnerability in NCSA/Apache CGI Example Code
-
-
-
15
-
-
0003659021
-
-
CERT, Advisory CA-98.05: May
-
CERT, Advisory CA-98.05: Multiple Vulnerabilities in BIND, ftp://info.cert.org/pub/cert-advisories/CA-98.05.bind-problems, May 1998.
-
(1998)
Multiple Vulnerabilities in BIND
-
-
-
17
-
-
85084160243
-
StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks
-
San Antonio, TX, January
-
Crispin Cowan, Calton Pu, Dave Maier, Heather Hinton, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, and Qian Zhang, "StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks," 7th USENIX Security Conference, pages 63-77, San Antonio, TX, January 1998.
-
(1998)
7th USENIX Security Conference
, pp. 63-77
-
-
Cowan, Crispin1
Pu, Calton2
Maier, Dave3
Hinton, Heather4
Bakke, Peat5
Beattie, Steve6
Grier, Aaron7
Wagle, Perry8
Zhang, Qian9
-
18
-
-
0002582136
-
Buffer Overflows: Attacks and Defenses for the Vulnerability of the Decade
-
January Also presented as an invited talk at SANS 2000, Orlando, FL, March 23-26, 2000
-
Crispin Cowan, Perry Wagle, Calton Pu, Steve Beattie, and Jonathan Walpole, "Buffer Overflows: Attacks and Defenses for the Vulnerability of the Decade," DARPA Information Survivability Conference and Expo (DISCEX), January 2000; Also presented as an invited talk at SANS 2000, Orlando, FL, http://schafercorp-ballston.com/discex, March 23-26, 2000.
-
(2000)
DARPA Information Survivability Conference and Expo (DISCEX)
-
-
Cowan, Crispin1
Wagle, Perry2
Pu, Calton3
Beattie, Steve4
Walpole, Jonathan5
-
19
-
-
84946210282
-
Curmudgeon's Executive Summary
-
Michele Crabb, editor, Contributing Editors: Matt Bishop, Gene Spafford, Steve Bellovin, Gene Schultz, Rob Kolstad, Marcus Ranum, Dorothy Denning, Dan Geer, Peter Neumann, Peter Galvin, David Harley, Jean Chouanard, SANS
-
Michele Crabb, "Curmudgeon's Executive Summary," The SANS Network Security Digest, Michele Crabb, editor, Contributing Editors: Matt Bishop, Gene Spafford, Steve Bellovin, Gene Schultz, Rob Kolstad, Marcus Ranum, Dorothy Denning, Dan Geer, Peter Neumann, Peter Galvin, David Harley, Jean Chouanard, SANS, 1997.
-
(1997)
The SANS Network Security Digest
-
-
Crabb, Michele1
-
20
-
-
0029697575
-
Java Security: From HotJava to Netscape and Beyond
-
Oakland, CA
-
Drew Dean, Edward W. Felten, and Dan S. Wallach, "Java Security: From HotJava to Netscape and Beyond," Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, http://www.cs.princeton.edu/sip/pub/secure96.html, 1996.
-
(1996)
Proceedings of the IEEE Symposium on Security and Privacy
-
-
Dean, Drew1
Felten, Edward W.2
Wallach, Dan S.3
-
21
-
-
85094868431
-
-
eEye, June
-
eEye, IIS Remote Hole, http://www.eye.com/database/advisories/ad06081999/ad06081999.html, June 1999.
-
(1999)
IIS Remote Hole
-
-
-
23
-
-
0032641892
-
Hardening COTS Software with Generic Software Wrappers
-
Oakland, CA, May
-
Tim Fraser, Lee Badger, and Mark Feldman, "Hardening COTS Software with Generic Software Wrappers," Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, May 1999.
-
(1999)
Proceedings of the IEEE Symposium on Security and Privacy
-
-
Fraser, Tim1
Badger, Lee2
Feldman, Mark3
-
24
-
-
0032660980
-
Type-Safe Linking and Modular Assembly Language
-
San Antonio, TX, January
-
Neal Glew and Greg Morrisett, "Type-Safe Linking and Modular Assembly Language," Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 250-261, San Antonio, TX, http://www.cs.cornell.edu/talc/papers.html, January 1999.
-
(1999)
Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 250-261
-
-
Glew, Neal1
Morrisett, Greg2
-
25
-
-
85084162735
-
A Secure Environment for Untrusted Helper Applications
-
San Jose, CA, July
-
Ian Goldberg, David Wagner, Randi Thomas, and Eric Brewer, "A Secure Environment for Untrusted Helper Applications," 6th USENIX Security Conference, San Jose, CA, July 1996.
-
(1996)
6th USENIX Security Conference
-
-
Goldberg, Ian1
Wagner, David2
Thomas, Randi3
Brewer, Eric4
-
27
-
-
0028058408
-
A General Theory of the Composition for Trace Sets Closed Under Selective Interleaving Functions
-
Oakland, CA, May
-
J. A. McLean, "A General Theory of the Composition for Trace Sets Closed Under Selective Interleaving Functions," Proceedings of the IEEE Symposium on Security and Privacy, pages 79-93, Oakland, CA, May 1994.
-
(1994)
Proceedings of the IEEE Symposium on Security and Privacy
, pp. 79-93
-
-
McLean, J. A.1
-
32
-
-
0006100649
-
Smashing The Stack For Fun And Profit
-
November
-
Aleph One, "Smashing The Stack For Fun And Profit," Phrack, 7(49), November 1996.
-
(1996)
Phrack
, vol.7
, Issue.49
-
-
One, Aleph1
-
34
-
-
0030086382
-
Role Based Access Control Models
-
February
-
R. S. Sandhu, E. J. Coyne, H. L. Feinstein, and C. E. Youman, "Role Based Access Control Models," IEEE Computer, pages 38-47, February 1996.
-
(1996)
IEEE Computer
, pp. 38-47
-
-
Sandhu, R. S.1
Coyne, E. J.2
Feinstein, H. L.3
Youman, C. E.4
-
37
-
-
0022605097
-
Typestate: A Programming Language Concept for Enhancing Software Reliability
-
January
-
Robert E. Strom and Shaula Alexander Yemini, "Typestate: A Programming Language Concept for Enhancing Software Reliability," IEEE Transactions on Software Engineering, 12(1):157-171, January 1986.
-
(1986)
IEEE Transactions on Software Engineering
, vol.12
, Issue.1
, pp. 157-171
-
-
Strom, Robert E.1
Yemini, Shaula Alexander2
-
40
-
-
0027836576
-
Efficient Software-Based Fault Isolation
-
Asheville, NC, December
-
Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham, "Efficient Software-Based Fault Isolation," Proceedings of the Fourteenth ACM Symposium on Operating System Principles (SOSP'93), pages 203-216, Asheville, NC, December 1993.
-
(1993)
Proceedings of the Fourteenth ACM Symposium on Operating System Principles (SOSP'93)
, pp. 203-216
-
-
Wahbe, Robert1
Lucco, Steven2
Anderson, Thomas E.3
Graham, Susan L.4
-
41
-
-
0004207406
-
-
O'Reilly & Associates, Inc., 2nd edition
-
Larry Wall, Tom Christiansen, and Randal L. Schwartz, Programming Perl, O'Reilly & Associates, Inc., 2nd edition, 1996.
-
(1996)
Programming Perl
-
-
Wall, Larry1
Christiansen, Tom2
Schwartz, Randal L.3
-
42
-
-
21644436375
-
PACL's: An Access Control List Approach to Anti-viral Security
-
Washington, DC, October 1-4
-
D. R. Wichers, D. M. Cook, R. A. Olsson, J. Crossley, P. Kerchen, K. Levitt, and R. Lo, "PACL's: An Access Control List Approach to Anti-viral Security," Proceedings of the 13th National Computer Security Conference, pages 340-349, Washington, DC, October 1-4 1990.
-
(1990)
Proceedings of the 13th National Computer Security Conference
, pp. 340-349
-
-
Wichers, D. R.1
Cook, D. M.2
Olsson, R. A.3
Crossley, J.4
Kerchen, P.5
Levitt, K.6
Lo, R.7
|