Summary
The project will deliver a catalogue of patterns for formal specification of security properties
More information & hyperlinks