Using Attack and Protection Trees to Analyze Threats and Defenses to Homeland Security | Synapse