Hledat
Zobrazují se záznamy 1-10 z 305
Pokročilé metody hledání diskrétního logaritmu
Advanced techniques for calculations of discrete logarithm
Diplomová práce (OBHÁJENO)
Vedoucí práce: Příhoda, Pavel
Datum publikování: 2013
Datum obhajoby: 13. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Let G be a finite cyclic group. Solving the equation g^x = y for a given generator g and y is called the discrete logarithm problem. This problem is at the core of many modern cryptographic transformations. In this paper ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
Vysoké okruhy
Tall rings
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Žemlička, Jan
Datum publikování: 2011
Datum obhajoby: 14. 09. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Perfektní a max okruhy jsou známy přes padesát let. Jejich teorie se stále intenzivně studuje. Podmínky, které je definují, jsou přitom zajímavé hlavně při studiu modulů, které nejsou noetherovské. V této práci nejprve ...
Perfect and max rings are known for over fifty years. Their theory is being steadily and intensively studied. The conditions defining them are mainly interesting while studying non-noetherian modules. In this work we ...
Perfect and max rings are known for over fifty years. Their theory is being steadily and intensively studied. The conditions defining them are mainly interesting while studying non-noetherian modules. In this work we ...
Důkazy bezpečnosti schémat symetrické kryptografie
Security Proofs in Symmetric Cryptography
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Rudolf, Bohuslav
Datum publikování: 2010
Datum obhajoby: 24. 06. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci zkoumáme techniky důkazů bezpečnosti schémat symetrické kryptografie se zaměřením na schémata šifrování s ochranou integrity. Výsledky z této oblasti jsou v jednotlivých kapitolách vždy představeny a ...
In the present work we investigate into security proofs techniques in symmetric cryptography with aim at authenticated encryption schemes. The results of this area are in each chapter shown and proven. We begin with studying ...
In the present work we investigate into security proofs techniques in symmetric cryptography with aim at authenticated encryption schemes. The results of this area are in each chapter shown and proven. We begin with studying ...
Kritéria pseudonáhodnosti posloupností
Criteria of pseudorandomness
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Holub, Štěpán
Datum publikování: 2007
Datum obhajoby: 10. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Kapacita diskrétního kanálu
Discrete Channel Capacity
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Holub, Štěpán
Datum publikování: 2015
Datum obhajoby: 19. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Kapacita diskrétního kanálu Autor: Jan Butora Katedra: Katedra algebry Vedoucí bakalářské práce: doc. Mgr. Štěpán Holub, Ph.D. et Ph.D., Katedra algebry Abstrakt: V předložené práci představíme teorii kapacity ...
Title: Discrete Channel Capacity Author: Jan Butora Department: Department of Algebra Supervisor: doc. Mgr. Štěpán Holub, Ph.D. et Ph.D., Department of Algebra Abstract: This Bachelor thesis introduces and examines C.E. ...
Title: Discrete Channel Capacity Author: Jan Butora Department: Department of Algebra Supervisor: doc. Mgr. Štěpán Holub, Ph.D. et Ph.D., Department of Algebra Abstract: This Bachelor thesis introduces and examines C.E. ...
Matematické základy Stevensova algoritmu
Mathematical foundations of Steven's algorithm
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2010
Datum obhajoby: 21. 05. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práce se věnujeme tématu hledání kolizí v hashovací funkci MD5. V práci se zaměřujeme na Stevensův algoritmem pro hledání diferenčních cest a řešíme některé problémy spojení s tímto algoritmem. Řešíme zejména ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
Symetrie
Symmetries
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2014
Datum obhajoby: 25. 06. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Automatická konstrukce modelů
Automated model building
Diplomová práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci implementujeme metodu MACE pro hledání konečných modelů v klasické logice prvního řádu bez sort. Kromě známých modifikací metody MACE jsou popsány a implementovány i úplně nové modifikace, například: odzplošťování, ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
Definovatelnost v matematických strukturách
Definability in mathematical structures
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2008
Datum obhajoby: 19. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene ...
Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene ...
Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene ...
Řešení soustav rovnic nad komutativními okruhy
Solving systems of equations over commutative rings
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šťovíček, Jan
Datum publikování: 2012
Datum obhajoby: 11. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Předmětem této práce je nabídnout algoritmus, jakým se dají řešit soustavy lineárních rovnic Ax=b nad okruhy hlavních ideálů. Dokážeme, že ke každé nenulové matici nad okruhem hlavních ideálů existuje její Smithův tvar. ...
The object of this work is to offer algorithm how can be solved systems of linear equations Ax=b over principal ideal rings. We prove that for every nonzero matrix over principal ideal rings there exists its Smith form. ...
The object of this work is to offer algorithm how can be solved systems of linear equations Ax=b over principal ideal rings. We prove that for every nonzero matrix over principal ideal rings there exists its Smith form. ...