Der-Orden-Xar schrieb:
Verdammt, hab mich extra angemeldet um das zu erklären, war aber zu müde gestern. ;_;
Vielleicht sei ergänzend noch gesagt, dass die Hardness Assumption von Diffie Hellman daher kommt, dass der
diskrete Logarithmus (man hat g^x und möchte x herausfinden) "schwer" ist im Sinne von; wenn
P != NP, dann gibt es keinen effizienten Algorithmus dafür.
Etwas präziser wäre die
Decisional Diffie-Hellman Hardness Assumption, aber das würde eine Weile brauchen zum Erklären.
Und genau, Perfect Forward Secrecy bedeutet, dass selbst wenn jemand alle deine verschlüsselten Nachrichten über Jahre lang sammelt, und dann einen neuen Key / Schlüssel für Diffie-Hellman herausbekommt, dann wird dieser Schlüssel nicht für die alten, gesammelten Nachrichten funktionieren.
Dazu muss der Schlüsselgenerationsprozess "randomisiert" werden - Cryptographische Pseudorandomness die nicht von "echter" Randomness unterschieden werden kann in effizienter Zeit, wieder ein eigenes Thema - so dass mit jedem neuen Protokollaufruf ein neuer Schlüssel generiert wird, der "praktisch" gesehen unabhängig von den Alten ist.
Das heisst, man kann, wenn man alle diese Schlüssel hätte, nicht wirklich einen Zusammenhang sehen und daraus irgendetwas ableiten, z.B. um einen eigenen Schlüsselgenerator zu programmieren.
Wichtig zu unterscheiden ist hier, dass das unabhängig davon ist, ob das Protokoll, bzw. die Cryptographische Encryption gebrochen wird; denn dann hilft einem auch Perfect Forward Secrecy nichts mehr. Aber gerade bei Diffie-Hellman, ist das praktisch unmöglich.
Wer's doch schafft, der darf sich allermindestens über einen Turing Award (Nobel Preis äquivalent der Informatiker) und eine Field Medaille (Nobelpreis äquivalent der Mathematiker) freuen, denn er hat P = NP bewiesen und die Welt auf den Kopf gestellt.
Ausgenommen sind Quantum Algorithmen, weiss nicht wie der Stand da ist, aber das ist ein anderes Thema, da gehen ein paar Sachen die auf normalen Turingmaschinen / Computern nicht gehen, zum Beispiel effizientes Faktorisieren.
Noch was zu diversen anderen Posts: Das ist pure Software. Absolut unabhängig von Hardware; ein Software Update genügt vollends, ausser man hat einen Pentium II laufen oder so. Der Overhead für Ephemeral Diffie-Hellman mit Elliptic Curves ist ~15% wenn man Perfect Forward Secrecy haben will.