Analýza vybraných bezpečnostních protokolů

Tato bakalářská práce se zabývá nástrojem SRI Constraint Solver, určeným pro analýzu bezpečnostních protokolů. Nástroj je v práci stručně charakterizován, a jeho syntaxe předvedena na implementaci protokolu Needham-Schroeder Public Key. Praktická část uvádí příklady analyzovaných protokolů. Pro každý protokol je uvedena jeho specifikace, průběh protokolu v nástroji, publikovaný útok, a v případě nálezu také nalezený útok. Na závěr je uvedena metoda analýzy jednotlivých protokolů a porovnání dosažených výsledků s publikovanými.

Grantor dc:publisher

Vysoké učení technické v Brně. Fakulta informačních technologií

Author dc:creator

• Říha, Tomáš

Advisor dc:contributor.advisor

• Očenášek, Pavel

• Bezpečnostní protokol
• důvěrnost
• autentizace
• Needham-Schroeder Public Key
• Otway Rees
• SRI Constraint Solver.
• Security protocol
• confidentiality
• authentication

Statement dc:rights

• Standardní licenční smlouva - přístup k plnému textu bez omezení

Language dc:language.iso

cs

Dc Identifier Other

25575

OAI identifier oai:identifier

oai:dspace.vut.cz:11012/54549