Show simple item record

Analysis of Selected Security Protocols

dc.contributor.advisorOčenášek, Pavelcs
dc.contributor.authorŘíha, Tomášcs
dc.date.accessioned2019-04-03T22:44:44Z
dc.date.available2019-04-03T22:44:44Z
dc.date.created2009cs
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í. 2009.cs
dc.identifier.other25575cs
dc.identifier.urihttp://hdl.handle.net/11012/54549
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.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
dcterms.dateAccepted2009-06-16cs
dcterms.modified2020-05-09-23:40:50cs
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
sync.item.dbid25575en
sync.item.dbtypeZPen
sync.item.insts2020.05.10 02:13:37en
sync.item.modts2020.05.10 01:01:41en
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
dc.contributor.refereeTrchalík, Romancs
dc.description.markCcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
but.committeecs
but.defencecs
but.resultpráce byla úspěšně obhájenacs
but.programInformační technologiecs
but.jazykčeština (Czech)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record