Cyber Defense: Mathematical Modeling and Simulation | Synapse