Skip to main content
European Cybersecurity Atlas
Menu
Close
Menu
Back
Home
Access the platform
Competency Map
About
Help
Frequently Asked Questions (FAQ)
Contact
Home
Formal specification of various aspects of security (e.g properties, threat models, etc.)
Formal specification of various aspects of security (e.g properties, threat models, etc.)