Visualization of cryptographic protocols

Bc. Michael Koudela

Bakalářská práce

Anotace:

Cílem této práce je popsat, jak lze vizualizovat kryptografické protokoly a jaké nástroje pro tento účel lze použít. Práce představuje různé pohledy na tuto problematiku. Dále je provedena analýza možných přístupů za účelem zjistit, které metody by měly být preferovány, a to obecně a ve čtyřech vzorových scénářích. Existující nástroje jsou podrobeny testování a následně prezentovány tak, aby bylo jasné, které z nich jsou dostupné, jaké jsou jejich výhody a nevýhody a v jakých situacích by měly být používány za účelem dosažení vytyčených cílů. Použití nástrojů je demonstrováno na několika příkladech protokolů. Práce slouží nejen jako přehled existujících vizualizací pro vybrané protokoly, ale také jako zdroj nových vizualizací. Ty pak mohou být následně použity při studiu těchto protokolů. Práce by měla pomoci rozhodnout se, který nástroj by měl být použit k vizualizaci protokolu v dané situaci. Také pomáhá vývojářům vizualizačních aplikací tak, že jim umožňuje studovat existující řešení a jejich problémy a poskytuje jim doporučení, jaké požadavky by měly jejich aplikace splňovat.

Abstract:

The aim of this thesis is to describe how cryptographic protocols get visualized and to review the tools that can be used for that purpose. Various possible views are introduced, and it is analysed which approaches should be preferred, both in general and in four sample scenarios. The existing tools are tested and presented in such a way that it is clear which of them are available, what are their advantages and disadvantages, and on which occasions they should be used to reach the desired goals. The usage of tools is demonstrated on several examples of protocols. The thesis serves not only as an overview of the existing visualizations of those protocols but also as a source of the new ones, which can be used when these protocols are studied. The thesis helps to decide which tool should be used to visualize a protocol in a given situation. It also helps developers of visualization applications, enabling them to study the existing solutions and their problems, and giving them advice on what requirements should their applications fulfil.

Keywords

cryptographic protocol, cryptography, protocol demonstration, specification of requirements, visualization, visualization tool

Jazyk práce: angličtina

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

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

• Obhajoba proběhla 28. 6. 2021
• Vedoucí: prof. RNDr. Václav Matyáš, M.Sc.
• Oponent: RNDr. Martin Ukrop

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika