Data security and threat modeling for smart city infrastructure
Automated Security Test Generation with Formal Threat Models