Security attack analysis using attack patterns
A goal-based framework for contextual requirements modeling and analysis