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

Ing. Martin Schmidt, Ph.D.

Master's thesis

Attacker and threat models in ICT security

Abstract:

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.

Keywords

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

Language used: Czech

Date on which the thesis was submitted / produced: 6. 12. 2017

Thesis defence

• Date of defence: 9. 2. 2018
• Supervisor: prof. RNDr. Václav Matyáš, M.Sc.
• Reader: doc. Ing. Jan Staudek, CSc.

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Information Technology Security