Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Rational Cryptography: Novel Constructions, Automated Verification and Unified Definitions

Ciobotaru, O. (2013). Rational Cryptography: Novel Constructions, Automated Verification and Unified Definitions. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-26526.

Item is

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
http://scidok.sulb.uni-saarland.de/volltexte/2013/5392/ (beliebiger Volltext)
Beschreibung:
-
OA-Status:
Grün
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Ciobotaru, Oana1, Autor           
Backes, Michael2, Ratgeber
Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551              
2External Organizations, ou_persistent22              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Rational cryptography has recently emerged as a very promising field of
research by combining notions and techniques from cryptography and game theory,
because it offers an alternative to the rather inexible traditional
cryptographic model. In contrast to the classical view of cryptography where
protocol participants are considered either honest or arbitrarily malicious,
rational cryptography models participants as rational players that try to
maximize their benefit and thus deviate from the protocol only if they gain an
advantage by doing so.
The main research goals for rational cryptography are the design of more ecient
protocols when players adhere to a rational model, the design and
implementation of automated proofs for rational security notions and the study
of the intrinsic connections between game theoretic and cryptographic notions.
In this thesis, we address all these issues.
First we present the mathematical model and the design for a new rational file
sharing protocol which we call RatFish. Next, we develop a general method for
automated verification for rational cryptographic protocols and we show how to
apply our technique in order to automatically derive the rational security
property for RatFish.
Finally, we study the intrinsic connections between game theory and
cryptography by defining a new game theoretic notion, which we call game
universal implementation, and by showing its equivalence with the notion of
weak stand-alone security.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2013-03-262013-032013
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Ciobotaru2013
DOI: 10.22028/D291-26526
URN: urn:nbn:de:bsz:291-scidok-53928
Anderer: hdl:20.500.11880/26582
 Art des Abschluß: Doktorarbeit

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: