An ontological approach to compliance verification of the NIS 2 directive.

Gianpietro Castiglione Daniele Francesco Santamaria Giampaolo Bella

Published in: CoRR (2023)

Keyphrases

model checking
formal verification
machine learning
face verification
domain specific
real time
neural network
natural language
knowledge representation
formal methods
signature verification
ontology development
asynchronous circuits
ontological framework
functional verification