Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Ziele der Kryptographie Read chapter Read first chapter

2015 | OriginalPaper | Chapter

4. Zero-Knowledge-Verfahren

Authors : Albrecht Beutelspacher, Jörg Schwenk, Klaus-Dieter Wolfenstetter

Published in: Moderne Verfahren der Kryptographie

Publisher: Springer Fachmedien Wiesbaden

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Zusammenfassung

Kryptographische Protokolle leben von Interaktivität. Dagegen sind mathematische Beweise statisch. Durch die Einführung von Interaktivität in mathematischen Beweisen haben sich die beiden Gebiete gegenseitig befruchtet: Man kann einerseits mit interaktiven Beweisen mehr mathematische Behauptungen als mit traditionellen Beweise zeigen, und man kann andererseits beinahe perfekte kryptographische Protokolle, die so genannten Zero‐Knowledge‐Verfahren entwerfen.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Grundlegende Protokolle
next chapter Multiparty Computations
Literature
[Bab85]
Babai, L.: Trading Group Theory for Randomness. Proc. 17. STOC 1985, 421–429
[BDG88]
Balcázar, J.L., Díaz, J., Gabarró, J.: Structural Complexity I. Springer Verlag (1988)CrossRefMATH
[BFL90]
Babai, L., Fortnow, L., Lund, C.: Nondeterministic Exponential Time has Two-Prover Interactive Proofs. Proc. 31. FOCS 1990, 16–25
[BFM88]
Blum, M., Feldman, P., Micali, S.: Non-Interactive Zero-Knowledge Proof Systems and Applications. Proc 20. STOC 1988
[BGGHKMR88]
Ben-or, M., Goldreich, O., Goldwasser, S., Hastad, J., Kilian, J., Micali, S., Rogaway, P.: Everything Provable is Provable in Zero-Knowledge. CRYPTO ’88, Springer LNCS 403, 37–56
[BGKW88]
Ben-or, M., Goldwasser, S., Kilian, J., Wigderson, A.: Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions. Proc. 20. STOC 1988, 113–122
[Blu86]
Blum, M.: How to Prove a Theorem So No One Else Can Claim It. Proceedings of the International Congress of Mathematicians Berkeley, CA., S. 1444–1451 (1986)
[BM88]
Babai, L., Moran, S., Arthur-Melin Games: A Randomized Proof System, and a Hierarchy of Complexity Classes. JCSS 36, 254–276 (1988)MATH
[BR93]
Bellare, M., Rogaway, J.: Random Oracles are Practical: a Paradigm for Designing Efficient Protocols. In: Proc. 1st ACM Conference on Computer and Communications Security Fairfax, Virginia, USA. S. 62–73. ACM Press (1993)
[BS96]
Beutelspacher, A., Schwenk, J.: Was ist ein Beweis? Überblicke Mathematik, Bd. 1996. Vieweg Verlag, Wiesbaden (1996)
[CGH98]
Canetti, R., Goldreich, O., Halevi, S.: The Random Oracle Methodology, Revisited. In: Proceedings of the 30th Annual ACM Symposium on the Theory of Computing Dallas, TX, May 1998. ACM (1998)
[EP91]
European Patent Application 0 428 252 A2, A System for Controlling Access to Broadcast Transmissions (1991)
[Fei92]
Feigenbaum, J.: Overview of Interactive Proof Systems and Zero-Knowledge. In: Simmons, G.J. (Hrsg.) Contemporary Cryptology: The Science of Information Integrity, S. 423–439. IEEE Press (1992)
[FeS90]
Feige, U., Shamir, A.: Zero Knowledge Proofs of Knowledge in Two Rounds. CRYPTO ’89, Springer LNCS 435, 526–544
[FS87]
Fiat, A., Shamir, A.: How to Prove Yourself: Practical Solutions to Identification and Signature Problems. CRYPTO ’86, Springer LNCS 263, 186–194
[GMR85]
Goldwasser, S., Micali, S., Rackoff, C.: The Knowledge Complexity of Interactive Proof Systems. Proc. 17. STOC 1985, 291–304
[GMR89]
Goldwasser, S., Micali, S., Rackoff, C.: The Knowledge Complexity of Interactive Proof Systems. SIAM J. Comput. 8(1), 186–208 (1989)MathSciNetCrossRef
[GMW86]
Goldreich, O., Micali, S., Wigderson, A.: Proofs that Yield Nothing but their Validity and a Methodology of Cryptographic Protocol Design. Proc. 27. FOCS 1986, 171–185
[GO94]
[GS08]
Groth, J., Sahai, A.: Efficient Non-interactive Proof Systems for Bilinear Groups. EUROCRYPT, 415–432 (2008)
[IY87]
Impagliazzo, R., Yung, M.: Direct Minimum-Knowledge Computations. CRYPTO ’87 LNCS, Bd. 293. Springer, S. 40–51 (1988)
[Jun90]
Jungnickel, D.: Graphen, Netzwerke und Algorithmen, 2. Aufl. BI Wissenschaftsverlag (1990)MATH
[LS90]
Lapidot, D., Shamir, A.: Publicly Verifiable Non-Interactive Zero-Knowledge Proofs. CRYPTO ’90, Springer LNCS 537, 339–356
[QG90]
Quisquater, J.-J., M., M., M., Guillou, L., M., G., A., G., S.: How to explain Zero-Knowledge to your Children. CRYPTO ’89, Springer LNCS 435, 628–631
[Sch96]
Schwenk, J.: Conditional Access. Taschenbuch der Telekom Praxis 1996, Hrsg. B. Seiler, Verlag Schiele & Söhne, Berlin
[Schn96]
Schneier, B.: Angewandte Kryptographie. Addison-Wesley, Bonn (1996)MATH
[Sha90]
Shamir, A.: IP = PSPACE. Proc. 31. FOCS 1990, 11–15
[WA75]
Wußing, H., Arnold, W.: Biographien bedeutender Mathematiker. Aulis Verlag Deubner & Co., Köln (1975)
Metadata
Title
Zero-Knowledge-Verfahren
Authors
Albrecht Beutelspacher
Jörg Schwenk
Klaus-Dieter Wolfenstetter
Copyright Year
2015
Book
Moderne Verfahren der Kryptographie

Print ISBN: 978-3-8348-1927-7

Electronic ISBN: 978-3-8348-2322-9

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-3-8348-2322-9_4

Premium Partner

    Image Credits