Reports for Author "Ou, Xinming"
- TR-735-05 - A logic-programming approach to network security analysis (thesis) (2005)
- TR-718-04 - Policy-based Multihost Multistage Vulnerability Analysis (2004)
- TR-714-04 - Network Security Management with High-level Security Policies (2004)
- TR-695-04 - Dynamic Typing with Dependent Types (2004)
