T

Threat Model Repair

Repairing threat models through attribute synthesis