Skip to main content
European Cybersecurity Atlas

Formal specification of various aspects of security (e.g properties, threat models, etc.)