Building open profiles of certified cryptographic devices

Bc. Imrich Nagy

Diplomová práce

Anotace:

Aj keď sa bezpečnostný hardvér používa na ochranu dôležitých informácií, jeho overovanie používateľom je často problematické. Táto práca popisuje ťažkosti a problémy na trhu s hardvérom a predstavuje predchádzajúci výskum v oblasti analýzy bezpečnostného hardvéru na vyvinutie nástroja SCRUTINY, ktorý umožňuje vytváranie profilov hardvérových zariadení. Tento nástroj môže byť použitý výrobcami a certifikačnými laboratóriami na vytváranie referenčných profilov slúžiacich na overenie zariadení používateľom. Vytváranie profilov a verifikácia čipových kariet bežiacich na platforme Java Card sú implementované do nástroja SCRUTINY s použitím existujúcich nástrojov na analýzu Java Card zariadení a otestované na reálnych čipových kartách.

Abstract:

Secure hardware is supposed to be trusted with critical assets, but end-user verification of purchased secure devices is often problematic. This thesis presents the difficulties and potential problems in the hardware market and explores previous research on secure hardware analysis to develop SCRUTINY, a framework that enables the creation and verification of hardware device profiles. Hardware vendors and certification laboratories could use such a framework to provide reference profiles for end-user verification. Profile building and verification of Java Card enabled smart cards are implemented for SCRUTINY using existing tolls for Java Card analysis and tested on real smart card hardware.

Keywords

smart card, Java Card, verification, hardware analysis

Jazyk práce: angličtina

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

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

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

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost