Searching for authors named "Xinming Ou" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
From Attack Graphs to Automated Configuration Management — An Iterative Approach
- … State University Manhattan, KS jhomer@(email omitted); Xinming Ou Kansas State University Manhattan, KS xou…
- Add To MetaCart
-
Mulval: A logic-based network security analyzer
- …Abstract MulVAL: A Logic-based Network Security Analyzer ∗ Xinming Ou Sudhakar Govindavajhala…
- Cited by 14 (4 self) – Add To MetaCart
-
Enforcing Resource Usage Protocols via Scoped Methods
- …Enforcing Resource Usage Protocols via Scoped Methods # Gang Tan Xinming Ou David Walker Princeton…
- Cited by 5 (1 self) – Add To MetaCart
-
A Scalable approach to Attack Graph Generation
- …ABSTRACT A Scalable Approach to Attack Graph Generation Xinming Ou ∗ Purdue University xou…
- Cited by 8 (3 self) – Add To MetaCart
-
Dynamic typing with dependent types
- …DYNAMIC TYPING WITH DEPENDENT TYPES Xinming Ou, Gang Tan, Yitzhak Mandelbaum and David Walker…
- Cited by 10 (1 self) – Add To MetaCart
-
Prefetching And Caching Metadata In A Distributed Nfs Server
- …PREFETCHING AND CACHING METADATA IN A DISTRIBUTED NFS SERVER WEI LIU, XINMING OU, WEIMIN ZHENG, MIN…
- Add To MetaCart
-
Design and Implementation of a Distributed NFS Server on Cluster Of Workstations
- … ZHENG, MEIMING SHEN, XINMING OU, MIN WU Department of Computer Science, Tsinghua University, Beijing…
- Add To MetaCart
-
Design of an I/O Balancing File System on Web Server Clusters
- …Design of an I/O Balancing File System on Web Server Clusters + Wei Liu, Min Wu, Xinming Ou…
- Add To MetaCart
Showing 1 through 8.
