Reports for Author "Govindavajhala, Sudhakar"
- TR-775-07 - A Formal Approach to Practical Network Security Management (thesis) (2007)
- TR-773-07 - Automatic Configuration Vulnerability Analysis (2007)
- TR-744-06 - Windows Access Control Demystified (2006)
- TR-718-04 - Policy-based Multihost Multistage Vulnerability Analysis (2004)
- TR-714-04 - Network Security Management with High-level Security Policies (2004)
