Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Xinming
Last name:	Ou
DBLP:	41/4686
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 19 of 19  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino. A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Su Zhang, Xinming Ou, John Homer. Effective Network Vulnerability Assessment through Model Abstraction.	Detection of Intrusions and Malware, and Vulnerability Assessment - 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings 2011	(0)	2011
	Conference paper Su Zhang, Doina Caragea, Xinming Ou. An Empirical Study on Using the National Vulnerability Database to Predict Software Vulnerabilities.	Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings, Part I 2011	(0)	2011
	Conference paper Heqing Huang, Su Zhang, Xinming Ou, Atul Prakash, Karem A. Sakallah. Distilling critical attack graph surface iteratively through minimum-cost SAT solving.	Twenty-Seventh Annual Computer Security Applications Conference, ACSAC 2011, Orlando, FL, USA, 5-9 December 2011 2011	(0)	2011
	Conference paper Loai Zomlot, Sathya Chandran Sundaramurthy, Kui Luo, Xinming Ou, Siva Raj Rajagopalan. Prioritizing intrusion analysis using Dempster-Shafer theory.	Proceedings of the 4th ACM Workshop on Security and Artificial Intelligence, AISec 2011, Chicago, IL, USA, October 21, 2011 2011	(0)	2011
	Conference paper Peng Xie, Jason H. Li, Xinming Ou, Peng Liu, Renato Levy. Using Bayesian networks for cyber security analysis.	Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010 2010	(0)	2010
	Book chapter Jason H. Li, Xinming Ou, Siva Raj Rajagopalan. Uncertainty and Risk Management in Cyber Situational Awareness.	Cyber Situational Awareness - Issues and Research 2010, Volume 46	(0)	2010
	Book chapter Paul Barford, Marc Dacier, Thomas G. Dietterich, Matt Fredrikson, Jonathon T. Giffin, Sushil Jajodia, Somesh Jha, Jason H. Li, Peng Liu, Peng Ning, Xinming Ou, Dawn Xiaodong Song, Laura Strater, Vipin Swarup, George P. Tadda, C. Wang, John Yen. Cyber SA: Situational Awareness for Cyber Defense.	Cyber Situational Awareness - Issues and Research 2010, Volume 46	(0)	2010
	Conference paper Anoop Singhal, Xinming Ou. Techniques for enterprise network security metrics.	Fifth Cyber Security and Information Intelligence Research Workshop, CSIIRW '09, Knoxville, TN, USA, April 13-15, 2009 2009	(0)	2009
	Conference paper Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan. An Empirical Approach to Modeling Uncertainty in Intrusion Analysis.	Twenty-Fifth Annual Computer Security Applications Conference, ACSAC 2009, Honolulu, Hawaii, 7-11 December 2009 2009	(0)	2009
	Conference paper John Homer, Xinming Ou. SAT-solving approaches to context-aware enterprise network security management.	IEEE Journal on Selected Areas in Communications 2009, Volume 27	(0)	2009
	Conference paper Reginald E. Sawilla, Xinming Ou. Identifying Critical Attack Assets in Dependency Attack Graphs.	Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings 2008	(0)	2008
	Conference paper John Homer, Ashok Varikuti, Xinming Ou, Miles A. McQueen. Improving Attack Graph Visualization through Data Reduction and Attack Grouping.	Visualization for Computer Security, 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings 2008	(0)	2008
	Conference paper Xinming Ou, Wayne F. Boyer, Miles A. McQueen. A scalable approach to attack graph generation.	Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30 - November 3, 2006 2006	(0)	2006
	Conference paper K. Rustan M. Leino, Madan Musuvathi, Xinming Ou. A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.	Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005	(0)	2005
	Conference paper Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker. Dynamic Typing with Dependent Types.	Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France 2004	(0)	2004
	Conference paper Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe. Theorem Proving Using Lazy Proof Explication.	Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 2003	(0)	2003
	Conference paper Wei Liu, Min Wu, Xinming Ou, Weimin Zheng, Meiming Shen. Design of an I/O Balancing File System on Web Server Clusters.	ICPP Workshops 2000	(0)	2000
	Conference paper Wei Liu, Weimin Zheng, Meiming Shen, Xinming Ou, Min Wu. An Effective File Migration Algorithm in Cluster File Systems.	ICPP Workshops 2000	(0)	2000

Show item 1 to 19 of 19  

Your query returned 19 matches in the database.