Adversarial and uncertain reasoning for adaptive cyber defense : Control- and Game-Theoretic Approaches to Cyber Security.