Analysis of Common Criteria Protection Profiles

Bc. Martin Frian

Diplomová práce

Anotace:

Diplomová práca skúma obsah a asociácie Protection Profilov štandardu Common Criteria. Štúdia vedie k vytvoreniu nástroja na automatizovanú analýzu Protection Profilov. Práca popisuje niekoľko vybraných bezpečnostných štandardov z rôznych technických oblastí. Common Criteria štandard je popísaný detailne. Ďalej práca demonštruje analýzu obsahu Protection Profilov, ktorá je uskutočnená s podporou definovaného súboru regulárnych výrazov. Tri novo vytvorené algoritmy pomáhajú pri vytvorení presného previazania Protection Profilov a Security Targets. Jeden z vytvorených algoritmov je modifikovaný na prehľadávanie takých Security Targets, ktoré sú v súľade s aspoň jedným Protection Profilom, pričom Common Criteria Portal túto informáciu neposkytuje. Všetky analýzy vykonané v tejto práci sú sprevádzané štatistickými výsledkami vytvorenými automatizovaným nástrojom. Práca vedie k dvom návrhom na úpravu štandardu Common Criteria.

Abstract:

The thesis examines the content and associations of Common Criteria Protection Profiles. The study leads to the creation of a tool for the automated analysis of Protection Profiles. The thesis describes several chosen security standards from different technical areas. Common Criteria standard is described in detail. Further, the thesis demonstrates the analysis of the content of Protection Profiles, done with the support of a defined set of regular expressions. Three newly designated algorithms help to create links between Protection Profiles and Security Targets. One of the algorithms is modified to search for Security Targets conformant to some Protection Profile, with no such information provided by Common Criteria Portal. Statistical results produced by a created automated tool supports all the analysis done in this thesis. The entire study leads to the two proposals for the update of the Common Criteria standard.

Keywords

Common Criteria, Protection Profile, security standards, regular expressions, automated tool

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 20. 7. 2020

Obhajoba závěrečné práce

• Obhajoba proběhla 15. 9. 2020
• Vedoucí: doc. RNDr. Petr Švenda, Ph.D.
• Oponent: prof. RNDr. Václav Matyáš, M.Sc.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Bezpečnost informačních technologií