Interaktives Kryptologie-Skript

Interactive Cryptology Script

Java anschalten! Enable Java!
Um die Java-Applets in diesem interaktiven Skript über Kryptologie starten zu können, ist ein Browser nötig, der Java 1.1 beherrscht, z.B. Netscape ab Communicator 4.08. For running the Java applets of this interactive script on Cryptology, you need a browser capable of Java 1.1, e.g. Netscape Communicator > 4.08.

Deutsche Version

English Version


über dieses Dokument
about this document


Disclaimer: There is no warranty for the correctness of the texts and formulas, or the applet codes, or the spelling.








Vorlesungsinhalte WS05/06

17.10.05: Geschichtlicher "Uberblick [Beu87] S 7 ff, Transpositionchiffre: Skytala, Substitutionschiffre: Caesar, Vigenere, Affine Chiffre [Sti95] S 8, Richelieu, Vernam, Quanten-Kryptographie [BBE92],
20.10.05: RSA [Beu87] S67 ff bzw. [Sti95] S 114 ff: Schl"usselerzeugung, Euklidscher Algorithmus, Satz von Euler-Fermat,
24.10.05: Elektronisches Geld mit RSA [Beu87] S99, Primzahltests [Sti95] S 129 ff bzw. [Kra86]: Sieb des Eratosthenes, Wilson's Test, Lucas's Test,
27.10.05: Monte Carlo primzahltests: Fermat-test, Eulersches Kriterium, Jacobi symbol, Solovay-Strassen-test, Miller-Rabin-test
31.10.05: Pratt's Test: Pimzahlen in NP. Pimzahlen in P. [AKS02]
03.11.05: Pollard's rho Faktorisierung, Pollard's p-1 Faktorisierung, Quadratische Faktorisierung [Sti95] S 138 ff bzw. [MOV90] S 87 ff
07.11.05: Quadratisches Sieb, Faktorisierung bei bekanntem phi(n), Faktorisierung bei bekanntem RSA-secret-key, Rabin Kryptosystem.
10.11.05: Einwegfunktionen, UP [Pap94] S 281, Starke Einwegfunktionen
14.11.05: schwache Einwegfunktionen [Gol] S 46 ff, Einweg Hashfunktionen [Sti95] S 233 ff oder [Gol] S 35 ff, W"orterbuchangriff, Geburtstagsangriff, Chaum-van Heijst-Pfitzmann Hashfunktion, diskreter Logartihmus,
17.11.05: Erweiterung von Hashfunktionen, Hashfunktion <=> Kryptosystem, ElGamal Kryptosystem [Sti95] S 163, Shanks Alggorithmus f"ur diskreten Logartihmus, 21.11.05: Pohlig Hellmann Algorithmus, ElGamal Signaturschema, DSS [Sti95] S 206,
24.11.05: Endliche Koerper und Elliptische Kurven [Sti95] S 177,
28.11.05: Menezes-Vanstone Kryptosystem [Sti95] S 189, Schl"usselverteilung: Blom's Schema, Diffie-Hellmann Schl"usselverteilung, Kerberos. [Sti95] S 259
1.12.05: Schl"usselaustausch, intruder-in-the middle-Angriff, STS Protokoll [Sti95] S 269, Needham-Schroeder-Protokoll, Diffie-Hellmann Gruppenprotokoll, Anwendung VoIP,
5.12.05: Zero-Knowledge Beweissysteme, Interaktive Beweissysteme [Sti95] S 387 ff oder [Gol] S 143 ff Graph-Nicht-Isomorphismus in IP, Graph-3-colorability in IP [Sti95] S 403 ff, [Gol] S 180 ff, NP, BPP \subseteq IP(1),
8.12.05: starker, schwacher interaktiver Beweis, [Sti95] S 387 ff, [Gol] S 153 ff, polynomielle Hierarchie in P^{#P}, Permanente #P-vollst.. LFKN Protokoll zur Pr"ufung der Permanente [Bab90], IP=PSPACE
12.12.05: Kryptosysteme und NP-vollst"andigkeit [EY80],
15.12.05: Merkle-Hellmann Knapsack System [Sti95] S 191, L^3 Gitter Basis Reduktion, Knapsack mit geringer Dichte [MOV90] S 118,
19.12.05: Meet-in-the-middle Algorithmus, Algorithmus von Shamir zum Berechnen eines alternativen geheimen Schl"ussels, McEliece System [Sti95] S 194,
22.12.05: nichtverfolgbares elektronisches Geld nichtverfolgbare elektronische Schecks [CFN88],
12.01.06: Kartenspiel "ubers Netz, Bestimmung des "alteren ohne Altersangabe, M"unzwurf per Telephon (Bit-commitment),
16.01.06: Das Teilen von Geheimnissen [Sti95] S 327, verifizierbares Teilen von Geheimnissen.[CGMA85]
19.01.06, 02.02.06: Die Verhinderung des Missbrauchs von Kryptosystemen [Des88].
23.01.06: Kryptosysteme mit versteckten Monomen [Kob98].
26.01.06, 30.01.06: Visuelle Kryptographie [NS94],
06.02.06: Nichtverfolgbare e-mail, Wahlschemata,
09.02.06, 13.02.06: Pseudozufallsgeneratoren, Probabilistische Verschluesselung [Sti95] S 361ff, 22, 39

Literaturliste: Kopie im Ordner

ADS93
M. Andrasiu, J. Dassow, A. Salomaa, G. Paun. Language-theoretic problems arising from Richelieu cryptosystems. Theoretical Computer Science 116, 1993.

AKS02
M. Agarwal, N. Kayal , N. Saxena. PRIMES is in P.2002.

Bab90
Lazlo Babai. E-mail and the unexpected power of interaction. Proceedings of the 5-th Structure, 1990.

BBE92
C. H. Bennett, G. Brassard, A. K. Ekert. Quanten-Kryptographie. Spectrum der Wissenschaft Dec. 1092

Beu87
Albrecht Beutelspacher. Kryptologie. Vieweg, 1987.

BSW95
Beutelspacher, J. Schwenk und K.-D. Wolfenstetter. Moderne Verfahren der Kryptographie. Vieweg, 1995.

CFN88
D. Chaum, A. Fiat, M. Naor. Untracable Electronic Cash. Proceedings of the CRYPTO88, 319­327.

CGMA85
B. Chor, S. Goldwasser, S. Micaili, B. Awerbuch. Verifiable Secrect Sharing and Achieving Simultaneity in the Presence of Faults. Proceedings of the FOCS'85, 383­395.

Des88
Yvo Desmedt. Abuses in Cryptogrphy and How to Fight Them. Proceedings of the CRYPTO88, 374­389.

EY80
Shimon Even, Yacov Yacobi. Cryptocomplexity and NP-Completeness. 7-th ICALP 90, 195--207, 1980.

FS86
A. Fiat, A. Shamir. How to prove yourself: Practical solutions to identification and signature problems. Proceedings of the CRYPTO'86, 186-194.

Gol
Oded Goldreich. Foundations of Cryptography. Postscript File

Kar89
J. Kari. A Cryptosystem Based on Propositional Logic. Proceedings of the 5th IMYCS' 89, LNCS 381, 210--219, 1989

Kob98
Neal Koblitz. Algebraic Aspects of Cryptography. Springer, 1998

Kra86
Evangelos Kranakis. Primality and cryptography. Stuttgart, Teubner, 1986

Mao04
Wenbo Mao. Modern Cryptography. Prentice Hall, 2004

MOV90
A. A. J. Menzes, P. C. van Oorschot and S. A. Vanstone. Handbook of Applied Cryptography. CRC Press, 1997.

NS84
M. Naor, A. Shamir. Visual Cryptography. Proceedings of the Eurocrypt'94, 1-12. [ps]

Pap94
Christos H. Papadimitriou. Computational complexity. Addison-Wesley, 1994

Riv90
Ronald L. Rivest. Cryptographie. in L. van Leeuwen: Handbook of Theoretical Computer Science Volume A, The MIT Press/Elsevier, 1990.

Sal90
Arto Salomaa. Public-key Cryptographie. EATCS monographs on theoretical computer science, Springer, 1990.

Sch96
B. Schneier. Angewandte Kryptographie. Addison-Wesley, 1996.

Sti95
Douglas R. Stinson. Cryptography - Theory and Practice. CRC Press, 1995. ISBN 0-8493-8521-0.
Zu diesem Buch existiert auch eine Fehlerliste .

Vorlesungsbeschreibung SS97 Vorlesungsbeschreibung SS99 Vorlesungsbeschreibung SS01 Vorlesungsbeschreibung WS03/04

Alte Versionen:

Geschichte , RSA (May 97), Primzahltests (May 97) (Funktioniert auch mit "alteren Browsern.)
Visuelle Kryptographie
Last modified: 2-Nov-05 by Klaus Reinhardt