Summary
The pattern matching tool chain will map the security requirements to patterns of security formal properties.
More information & hyperlinks