Summary
Based on the body of knowledge for requirements patterns this deliverable will elaborate specifics of the patterns for security formal properties patterns
More information & hyperlinks