A game theoretic model of computer network exploitation campaigns
A Supervisory Control Approach to Dynamic Cyber-Security