Lee Badger

Publication Activity (10 Years)

Years Active: 1980-2004
Publications (10 Years): 0

Publications

John McCarthy, Lee Badger, Marc Williams
The Tower of Stanford: 10956. Am. Math. Mon. 111 (4) (2004)
Michael J. Petkac, Lee Badger
Security Agility in Response to Intrusion Detection. ACSAC (2000)
Lee Badger
Generating the Measures of n-Balls. Am. Math. Mon. 107 (3) (2000)
Calvin Ko, Timothy Fraser, Lee Badger, Douglas Kilpatrickv
Detecting and Countering System Intrusions Using Software Wrappers. USENIX Security Symposium (2000)
Timothy Fraser, Lee Badger, Mark Feldman
Hardening COTS Software with Generic Software Wrappers. IEEE Symposium on Security and Privacy (1999)
Timothy Fraser, Lee Badger
Ensuring Continuity During Dynamic Security Policy Reconfiguration in DTE. IEEE Symposium on Security and Privacy (1998)
Karen A. Oostendorp, Lee Badger, C. D. Vance, W. G. Morrison, Michael J. Petkac, David L. Sherman, Daniel F. Sterne
Domain and Type Enforcement Firewalls. ACSAC (1997)
Kenneth M. Walker, Daniel F. Sterne, Lee Badger, Michael J. Petkac, David L. Sherman, Karen A. Oostendorp
Confining Root Programs with Domain and Type Enforcement. USENIX Security Symposium (1996)
Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker
A Domain and Type Enforcement UNIX Prototype. Comput. Syst. 9 (1) (1996)
Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker, Sheila A. Haghighat
A Domain and Type Enforcement UNIX Prototype. USENIX Security Symposium (1995)
Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker, Sheila A. Haghighat
Practical Domain and Type Enforcement for UNIX. IEEE Symposium on Security and Privacy (1995)
Lee Badger
Providing a Flexible Security Override for Trusted Systems. CSFW (1990)
Lee Badger
A Model for Specifying Multi-Granularity Integrity Policies. IEEE Symposium on Security and Privacy (1989)
Lee Badger, Mark D. Weiser
Minimizing Communication for Synchronizing Parallel Dataflow Programs. ICPP (2) (1988)
Lee Badger
. J. Symb. Log. 45 (2) (1980)