Publications

Book Chapters
  1. Scott A. DeLoach, Xinming Ou, Rui Zhuang, Su Zhang. Model-driven, Moving Target Defense for Enterprise Network Security Models@ run. time. Springer International Publishing, 2014. 137-161.
Conference and Workshop Papers
  1. Rui Zhuang, Alexandru G. Bardas, Scott A. DeLoach, Xinming Ou. A Theory of Cyber Attacks - A Step Towards Analyzing MTD Systems. Proceedings of the Second ACM Workshop on Moving Target Defense (MTD 2015). October 12, 2015, Denver, Colorado, USA
  2. Rui Zhuang (presenter), Scott A. DeLoach, Xinming Ou. Towards a Theory for Moving Target Defense. Proceedings of the First ACM Workshop on Moving Target Defense (MTD 2014). November 3, 2014, Scottsdale, Arizona, USA. 
  3. Ian Unruh, Alexandru G. Bardas, Rui Zhuang, Xinming Ou, and Scott A. DeLoach. Compiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud. USENIX 28th Large Installation System Administration Conference (LISA'14). Nov 9-14, 2014. Seattle, WA.
  4. Rui Zhuang (presenter), Scott A. DeLoach, Xinming Ou. A Model for Analysing the Effect of Moving Target Defenses on Enterprise Networks. Proceedings of the 9th Cyber and Information Security Research Conference. April 8-10, 2014. Oak Ridge, Tennessee.
  5. Rui Zhuang (presenter), Su Zhang, Alex Bardas, Scott A. DeLoach, Xinming Ou, and Anoop Singhal. Investigating the application of moving target defenses to network security. In Resilient Control Systems (ISRCS), 2013 6th International Symposium on, pp. 162-169. IEEE, 2013.
  6. Rui Zhuang (presenter), Su Zhang, Scott A. DeLoach, Xinming Ou, and Anoop Singhal. Simulation-based Approaches to Studying Effectiveness of Moving-Target Network Defense. National Symposium on Moving Target Research. June 11, 2012, Annapolis, MD.
  7. Caroline E. Harriott, Rui Zhuang, Julie A. Adams and Scott A. DeLoach. Towards Using Human Performance Moderator Functions in Human-Robot Teams. First International Workshop on Human-Agent Interaction Design and Models (HAIDM 2012). Valencia, Spain, June 4, 2012.
Technical Report
  1. Ian Unruh, Alexandru G. Bardas, Rui Zhuang, Xinming Ou, and Scott A. DeLoach. Compiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud. Depart of Computing and Information Sciences Technical Report no. 2013-2. Kansas State University. October, 2013.