Modely útočníka a hrozeb v bezpečnosti ICT

Ing. Martin Schmidt, Ph.D.

Diplomová práce

Attacker and threat models in ICT security

Anotace:

Diplomová práce podává přehled nejčastěji citovaných modelů útočníka využívaných v oblasti kryptografických protokolů. Analyzovány jsou modely útočníka používané v kontextu přístupů umožňujících verifikaci či ověření vlastností protokolů od klasického Dolev-Yao modelu až po pozdější relativně samostatné modely definující schopnosti útočníka. Pozornost je rovněž věnována modelům útočníka v bezdrátových ad-hoc sítích. Nalezené modely jsou v práci srovnány a klasifikovány dle schopností, kterými může útočník disponovat. Pro lepší názornost jsou zpracovány scénáře využívající persony (profily) vybraných útočníků. Práce se také částečně věnuje modelům hrozeb.

Abstract:

The diploma thesis provides an overview of the most frequently cited attacker models used in the field of cryptographic protocols. The attacker models that are used within the approaches for verification verifying or properties checking of a protocol are analysed, from the classic Dolev-Yao model to later relatively independent models defining the attacker's capabilities. Attention is also paid to the attacker models in the wireless ad-hoc networks. The found models are compared and classified according to the capabilities available to the attacker. For better clarity, scenarios using personas (profiles) of selected attackers are composed. The thesis is also partly devoted to threat models.

Klíčová slova

model útočníka, model hrozeb, bezpečnost, protokoly

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 6. 12. 2017

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

• Obhajoba proběhla 9. 2. 2018
• Vedoucí: prof. RNDr. Václav Matyáš, M.Sc.
• Oponent: doc. Ing. Jan Staudek, CSc.

Masarykova univerzita

Fakulta informatiky

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