Using abuse case models for security requirements analysis | Synapse