-
TR-714-04 -
Network Security Management with High-level Security Policies
(2004-09-00)
Govindavajhala, Sudhakar / Ou, Xinming / Appel, Andrew W.
-
TR-718-04 -
Policy-based Multihost Multistage Vulnerability Analysis
(2004-12-00)
Govindavajhala, Sudhakar / Ou, Xinming / Appel, Andrew W.
-
TR-744-06 -
Windows Access Control Demystified
(2006-01-00)
Govindavajhala, Sudhakar / Appel, Andrew W.
-
TR-773-07 -
Automatic Configuration Vulnerability Analysis
(2007-02-00)
Govindavajhala, Sudhakar / Appel, Andrew W.
-
TR-775-07 -
A Formal Approach to Practical Network Security Management (thesis)
(2007-02-00)
Govindavajhala, Sudhakar