Mathematik
Refine
Year of publication
- 1999 (12) (remove)
Document Type
- Article (3)
- Diploma Thesis (2)
- diplomthesis (2)
- Book (1)
- Part of a Book (1)
- Doctoral Thesis (1)
- Preprint (1)
- Report (1)
Has Fulltext
- yes (12)
Is part of the Bibliography
- no (12)
Keywords
- Approximation (1)
- Arbitrage (1)
- Black and Scholes Option Price theory (1)
- Doplicher-Haag-Roberts Axiomatik; Algebraische Quantenfeldtheorie; Superauswahlregeln und -sektoren; Quantenstatistik; Zopfgruppenstatistik (1)
- Fractional Brownian Motion (1)
- Genetischer Fingerabdruck (1)
- Kongress (1)
- Kryptologie (1)
- Linear Filtering (1)
- Long- Range Dependence (1)
- Long-Range Dependence (1)
- Online-Publikation (1)
- Optimal Mean-Square Filter (1)
- Poisson-Prozess (1)
- Portfolios (1)
- Prag <1999> (1)
- Quantenfeldtheorie ; Konforme Feldtheorie ; Algebraische Methode (1)
- Stochastic Analysis of Square Zero Variation Processes (1)
- branching random walk in random medium (1)
- discrete logarithm (1)
- exponentiation (1)
- fractions of exponentiation (1)
- hard bit (1)
- interacting particle Systems (1)
- one-way function (1)
- random media (1)
- reactant-catalyst systems (1)
- secure bit (1)
- simultaneous security of bits (1)
Institute
- Mathematik (12)
- Informatik (3)
In der vorliegenden Arbeit wird ein interaktives Beweisprotokoll für das Problem der "überprüfbaren Verschlüsselung" (verifiable encyption) vorgestellt. Mit Hilfe eines Verifiable Encryption Protokolls (VEP) beweist eine Person (der Prover) einer anderen Person (dem Verifier) effizient, daß ein vorher gesendeter Wert alpha die Verschlüsselung eines geheimen Wertes s ist. Den geheimen Wert s muß er dazu nicht offenlegen. Zur Verschlüsselung von s wird ein Public-Key-Verfahren und ein öffentlicher Schlüssel PK benutzt. PK gehört zum Schlüsselpaar einer dritten Partei, die nicht aktiv an der Protokollausführung beteiligt ist und die Rolle eines Notars einnimmt. Dem Verifier steht ein Wert d zur Verfügung, anhand dessen er entscheidet, ob er den Beweis akzeptiert oder verwirft. Akzeptiert der Verifier den Beweis des Provers, so kann er zwar mit an Sicherheit grenzender Wahrscheinlichkeit sagen, daß alpha eine Verschlüsselung von s unter dem öffentlichen Schlüssel PK ist. Er kann s jedoch nicht rekonstruieren, da er nicht im Besitz des zu PK gehörigen geheimen Schlüssels SK ist und der Beweis keine Informationen über s preisgibt.