Data analysis of the Common Criteria certificates

Bc. Jiří Michalík

Bakalářská práce

Anotace:

Tato práce analyzuje reference a zranitelnosti bezpečnostních zařízení certifikovaných podle Common Criteria bezpečnostního standardu. Výsledek této práce je rozšíření sec-certs projektu o dva nově naimplementované automatizované nástroje. Implementujeme nástroj, který vytvoří orientovaný graf referencí, rozliší několik typů referencí a normalizuje identifikátory certifikátů. Kromě toho představíme automatizovaný nástroj detekující zranitelnosti způsobené závislostmi mezi certifikáty. Na základě výstupů automatizovaných nástrojů poskytneme analýzu, která se primárně zaměřuje na rozdílné typy referencí a zranitelností způsobených závislostmi certifikátů. Analýza odkryje tendence v referencích mezi certifikáty a sumarizuje výsledky.

Abstract:

This thesis analyses references and vulnerabilities among security devices certified under the Common Criteria (CC) security standard. The result of the thesis is an extension of the sec-certs project with two newly implemented automated tools. We implement the tool that builds a directed graph of references, distinguishes several types of references, and normalises certificate identifiers. Furthermore, we introduce the automated tool detecting the vulnerabilities caused by certificate dependencies. Based on the outputs from the automated tools, we provide analysis primarily focused on different types of references and potential vulnerabilities caused by certificate dependencies. The analysis uncovers tendencies in references among certificates and summarises the results.

Keywords

CC, sec-certs, security certification, certificate references, vulnerability, CVE, EAL

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 19. 5. 2022

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

• Obhajoba proběhla 28. 6. 2022
• Vedoucí: doc. RNDr. Petr Švenda, Ph.D.
• Oponent: Ing. Mgr. et Mgr. Zdeněk Říha, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika