Interaktivní důkazy
Interactive proofs
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/6943Identifiers
Study Information System: 42946
Collections
- Kvalifikační práce [11211]
Author
Advisor
Referee
Stanovský, David
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Mathematical Methods of Information Security
Department
Department of Algebra
Date of defense
26. 9. 2006
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Excellent
Nazev prace: Interakt.ivui dukazy Aulor: .lana Kucerova Katedra. (uslav): Katedra algebry Vedonc] bakalafske praee: Dor.RNDr. Jin Tunia.DrSc. e-mail vedouei'ho: 1 uina'U'karliii.inll.rimi.rz Abstrakt: I'fedlo/ena pra.ce se veimje kryptografickym protokolum pro interak- tivm dukazy. Protoze tyto protokoly jsou jcduy zc slozitrjsicli, json v prvni casti pract' |>o]).s;'ina nrklrra. jtxbuKlussi kryijtograficka schrinata. kl.era jsou pozdrji vyuzita jako stavcljni prvkv ttrhtu protokohi. \ ttHn prari jsou intrraktivni diika.7.%' iR'jpi'vi^ (Irlinovany ja.kci vyporcl .s])ujcnr dvojict1 iiiU'raktivm'ch Turiii- i^ovych stroju. r>ozdt'ji ju uvctk'iia suuvislo.st taklo dcfinovaurho intcraktivni'ho duka/u s inl.fM-akl.ivniin dukazoTii /nalosli dnkax,o\'at,('luva lajcin.stvi v ideutili- kariiirh prolokulcrli. Xa pfikladu urknlika idrntifikarnirh protokulu je ukazaiio. jakyin /pusobcm l/x1 rozluxlnout. /da sc jediui o dukay, s nulo\'oii /ualosli imbo zda jc dauy prolokol prukazatrlm"' Ix'Zpcrny. Kli'cova iikjva: krypto.u.raficky protokol. Tiirin^uv stroj. proka/atrlua lK'Zp(.'cnost. diika./ s inilovoii /nalosti Tillc: lnUTarlivr ])roc)fs Author: Jana Kurt'rova, Depart incut: Df^jaitnuMil of Alp,cbra SuptTvLsor: Doc-.HNDv. Jiff Tuina,I)rSc. SujicTvisor's r-inail addi'rss: t uina "karlin.inll.cuiii.rz Abstract: Tlio main...
Nazev prace: Interakt.ivui dukazy Aulor: .lana Kucerova Katedra. (uslav): Katedra algebry Vedonc] bakalafske praee: Dor.RNDr. Jin Tunia.DrSc. e-mail vedouei'ho: 1 uina'U'karliii.inll.rimi.rz Abstrakt: I'fedlo/ena pra.ce se veimje kryptografickym protokolum pro interak- tivm dukazy. Protoze tyto protokoly jsou jcduy zc slozitrjsicli, json v prvni casti pract' |>o]).s;'ina nrklrra. jtxbuKlussi kryijtograficka schrinata. kl.era jsou pozdrji vyuzita jako stavcljni prvkv ttrhtu protokohi. \ ttHn prari jsou intrraktivni diika.7.%' iR'jpi'vi^ (Irlinovany ja.kci vyporcl .s])ujcnr dvojict1 iiiU'raktivm'ch Turiii- i^ovych stroju. r>ozdt'ji ju uvctk'iia suuvislo.st taklo dcfinovaurho intcraktivni'ho duka/u s inl.fM-akl.ivniin dukazoTii /nalosli dnkax,o\'at,('luva lajcin.stvi v ideutili- kariiirh prolokulcrli. Xa pfikladu urknlika idrntifikarnirh protokulu je ukazaiio. jakyin /pusobcm l/x1 rozluxlnout. /da sc jediui o dukay, s nulo\'oii /ualosli imbo zda jc dauy prolokol prukazatrlm"' Ix'Zpcrny. Kli'cova iikjva: krypto.u.raficky protokol. Tiirin^uv stroj. proka/atrlua lK'Zp(.'cnost. diika./ s inilovoii /nalosti Tillc: lnUTarlivr ])roc)fs Author: Jana Kurt'rova, Depart incut: Df^jaitnuMil of Alp,cbra SuptTvLsor: Doc-.HNDv. Jiff Tuina,I)rSc. SujicTvisor's r-inail addi'rss: t uina "karlin.inll.cuiii.rz Abstract: Tlio main...