A Stochastic Model of Active Cyber Defense Dynamics | Published in Internet Mathematics