Security Engineering with Patterns