Reports for Author "Ou, Xinming"

TR-695-04 - Dynamic Typing with Dependent Types (2004-04-00)
Ou, Xinming / Walker, David / Mandelbaum, Yitzhak / Tan, Gang
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-735-05 - A logic-programming approach to network security analysis (thesis) (2005-09-00)
Ou, Xinming