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

Simple item page
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorOčenášek, Pavelcs
dc.contributor.authorŘíha, Tomášcs
dc.contributor.refereeTrchalík, Romancs
dc.date.createdcs
dc.description.abstractTato 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.cs
dc.description.abstractThis bachelor's thesis deals with the SRI Constraint Solver tool used for analysis of security protocols. The tool is shortly characterised, and its syntax is shown on an implementation of the Needham-Schroeder Public Key protocol. The practical part shows some examples of analysed protocols. Every protocol is specified; it's run in the tool, published attack and found attack in case of its presence. At the end of the thesis, a method of analysis of each protocol and a comparison of achieved results with published are described.en
dc.description.markCcs
dc.identifier.citationŘÍHA, T. Analýza vybraných bezpečnostních protokolů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .cs
dc.identifier.other25575cs
dc.identifier.urihttp://hdl.handle.net/11012/54549
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectBezpečnostní protokolcs
dc.subjectdůvěrnostcs
dc.subjectautentizacecs
dc.subjectNeedham-Schroeder Public Keycs
dc.subjectOtway Reescs
dc.subjectSRI Constraint Solver.cs
dc.subjectSecurity protocolen
dc.subjectconfidentialityen
dc.subjectauthenticationen
dc.subjectNeedham-Schroeder Public Keyen
dc.subjectOtway Reesen
dc.subjectSRI Constraint Solver.en
dc.titleAnalýza vybraných bezpečnostních protokolůcs
dc.title.alternativeAnalysis of Selected Security Protocolsen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.modified2020-05-09-23:40:50cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid25575en
sync.item.dbtypeZPen
sync.item.insts2025.03.19 16:53:16en
sync.item.modts2025.01.17 11:28:45en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
final-thesis.pdf
Size:
271.26 KB
Format:
Adobe Portable Document Format
Description:
file final-thesis.pdf
Download
Thumbnail Image
Name:
review_25575.html
Size:
1.44 KB
Format:
Hypertext Markup Language
Description:
file review_25575.html
Download
Collections
2008