Black-box Oracle Separation Techniques with Applications in Time-stamping

dc.contributor.authorNiitsoo, Margus
dc.date.accessioned2011-04-21T07:16:09Z
dc.date.available2011-04-21T07:16:09Z
dc.date.issued2011-04-21
dc.descriptionVäitekirja elektrooniline versioon ei sisalda publikatsioone.et
dc.description.abstractDoktoritöö üldisem teemavaldkond on krüptograafia, mis käsitleb erinevaid andmeturbega seonduvaid matemaatilisi probleeme. Krüptograafia üheks keskseks mõisteks on reduktsioon, mille abil on võimalik uue süsteemi turvalisus taandada teise, juba olemas oleva süsteemi turvalisuse eeldusele. Reduktsioonide abil on pea kogu tänapäevane digitaalne andmeturve võimalik ehitada seni arvutuslikult raskeks peetavatele matemaatilistele probleemidele. Enamasti kasutatakse niinimetatud musta kasti reduktsioone, kus konstruktsiooni sees kasutatava algse süsteemi kohta tehakse vaid minimaalseid eelduseid. Sellist tüüpi reduktsioonide rakendatavusel on siiski omad piirid, ning vahel on isegi võimalik tõestada nende mitteeksisteerimist teatud süsteemide korral. Antud töös uuritaksegi just seesuguste võimatustõestuste võimalusi ning nende rakendatavust. Näidatakse, et seni tuntud võtteid on võimalik üle kanda ka mitteühtlasesse arvutusmudelisse. Samuti demonstreeritakse, te lisaks võimatustõestustele saab sarnaste võtetega tõestada ka piire reduktsioonide turvatõestuste efektiivsusele, ning et neid on võimalik kasutada ühe praktilist kasutust leidnud ajatembeldusskeemi turvatõestuse optimaalsuse näitamiseks. Samuti tuuakse välja võimalus asendada tõestustes kasutatav juhuslikkus puhtalt deterministlike vahenditega, mis lubaks tulevikus esitada algoritmilisemaid ja potentsiaalselt lihtsamini jälgitavaid tõestuskäike.et
dc.description.abstractThe thesis is from the general field of cryptography, which deals with the mathematical problems of information security. One of the central concepts of cryptography is that of reductions, which allow researchers to reduce the security of a new, constructed scheme to the assumption of security of a pre-existing scheme. Such reductions allow us to base most of modern cryptography on computational hardness assumptions of well-studied mathematical problems. The reductions are usually black-box, in the sense that only minimal assumptions are made about the workings of the underlying system. In this thesis we study the possibility of proving separation results, i.e., showing that such black-box reductions cannot exist in certain cases. We show that the techniques currently employed for such proofs can be generalized into the non-uniform model of computation. Additionally, it is shown that similar methods allow us to prove bounds on the efficiency of the security proofs, which in turn allows us to prove the optimality of a security reduction for a well.known time-stamping scheme. We also propose the idea of replacing true randomness with the notion of algorithmic randomness, which may allow for more algorithmic and easier to follow proofs to be presented for future separation results.en
dc.identifier.isbn978-9949-19-624-1(trükis)
dc.identifier.isbn978-9949-19-625-8(PDF)
dc.identifier.issn1024-4212
dc.identifier.urihttp://hdl.handle.net/10062/17024
dc.language.isoenet
dc.relation.ispartofseriesDissertationes mathematicae Universitatis Tartuensis;67
dc.subjectdissertatsioonidet
dc.subjectmatemaatikaet
dc.subjectkrüptograafiaet
dc.subjectandmeturveet
dc.subjectajatembeldussüsteemidet
dc.subjecttime-stamping systemsen
dc.subject.otherdissertatsioonidet
dc.subject.otherETDen
dc.subject.otherdissertationen
dc.subject.otherväitekiriet
dc.titleBlack-box Oracle Separation Techniques with Applications in Time-stampingen
dc.title.alternativeOraakliga musta kasti eraldustehnikad rakendustega ajatembelduseleet
dc.typeThesisen

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
niitsoo_margus.pdf
Size:
645.9 KB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
506 B
Format:
Item-specific license agreed upon to submission
Description: