Core Concepts
セキュリティ規則の遵守を確認するためのオントロジー的アプローチ
Abstract
セキュリティ規則の複雑さに対処するため、本稿はNIS 2指令に対するオントロジー的アプローチを紹介しています。セマンティック表現と推論技術を活用し、文書が指定するセキュリティ対策との適合性を確認します。オントロジーは、指令からエンティティと関係を形式化し、純粋な散文に比べて構造化が向上し、組織が遵守確認の困難な作業を支援します。このアプローチは新しい欧州NIS 2指令の2つの記事で示されています。
Stats
NIS 2 Directive (EU) 2022/2555 ENISA [2022]
Totaling 73 pages ENISA [2022]
Quotes
"Formal methods are among the most powerful tools for proving various properties, such as the correctness of security protocols." - Giampaolo Bella
"The ontology is released as open-source through a public repository." - Gianpietro Castiglione et al. [2023]