Analysis of Contagion Dynamics with Active Cyber Defenders | IEEE Conference Publication | IEEE Xplore