MulVAL: A Logic-based, Data-driven Enterprise Security Analyzer. Argus Cybersecurity Lab at Kansas State University, 2015.