Patterns catalogue

Summary
The project will deliver a catalogue of patterns for formal specification of security properties