aes128

Wissenschaft Informatik
#1

Hallo Ihrs!

Gibt es eine Möglichkeit folgendes zu zeigen oder kann mir jemand
eine Seite nennen wo ein findiger Kopf es schon bewiesen hat.

Gegeben ist eine 128 Bit Konstante C, diese Konstante wird mittels
AES128 und Key1 verschlüßelt zu Ergebnis E1. Dieselbe Konstante wird
nun nochmals mit einem anderen Schlüssel (Key2) verschlüßelt zu
Ergebnis E2.

Mal etwas anders dargestellt:
E1 = AES128( C, Key1 )
E2 = AES128( C, Key2 )
Key1 != Key2

Nun die Frage, ist E1 ungleich E2?

  • für alle C
  • für bestimmte C
  • nie

Auch Ideen wie man es zeigen könnte sind willkommen.

Danke und Gruß
Stefan

#2

Moien

Vergiss den Namen AES, die 128Bit und such nach Rijndael und FIPS 197. Die NIST hatte einige Paper zu der Sicherheit von Rijndael vorgelegt bekommen und das meiste davon ist öffentlich zugänglich. Da war auch Statistik und Verteilungen der verschlüsselten Werte dabei.

Gegeben ist eine 128 Bit Konstante C, diese Konstante wird
mittels
AES128 und Key1 verschlüßelt zu Ergebnis E1. Dieselbe
Konstante wird
nun nochmals mit einem anderen Schlüssel (Key2) verschlüßelt
zu
Ergebnis E2.

Mal etwas anders dargestellt:
E1 = AES128( C, Key1 )
E2 = AES128( C, Key2 )
Key1 != Key2

AES ist (abstrakt gesehen) eine Sammelung von bijektiven Funktionen, wobei Bild und Zielmenge gleich sind. Welche Funktion benutzt wird hängt nur vom Key ab. Du vergleichst also die Resultate von 2 unterschiedlichen bijektiven Funktionen.

Nun die Frage, ist E1 ungleich E2?

  • für alle C
  • für bestimmte C
  • nie

Nie kann man ausschliessen (nie ungleich => immer E1 == E2). Wenn nie gelten würde wären alle Funktionen gleich. So doof waren die Belgier nun auch wieder nicht.

cu

#3

Hallo!

Vergiss den Namen AES, die 128Bit und such nach Rijndael und
FIPS 197. Die NIST hatte einige Paper zu der Sicherheit von
Rijndael vorgelegt bekommen und das meiste davon ist
öffentlich zugänglich. Da war auch Statistik und Verteilungen
der verschlüsselten Werte dabei.

Soweit schon klar aber genau zu dem Problem habe ich nichts gefunden
oder es gar nicht erst verstanden.

AES ist (abstrakt gesehen) eine Sammelung von bijektiven
Funktionen, wobei Bild und Zielmenge gleich sind. Welche
Funktion benutzt wird hängt nur vom Key ab. Du vergleichst
also die Resultate von 2 unterschiedlichen bijektiven
Funktionen.

OK, das heißt was für meine Frage? Allein die Tatsache das sie
bijektiv sind sagt doch gar nichts darüber aus ob zwei verschiedene
Funktionen das gleiche Ergebnis für einzelne Werte des
Definitionsbereiches haben.

Nun die Frage, ist E1 ungleich E2?

  • für alle C
  • für bestimmte C
  • nie

Nie kann man ausschliessen (nie ungleich => immer E1 == E2).
Wenn nie gelten würde wären alle Funktionen gleich. So doof
waren die Belgier nun auch wieder nicht.

Das meinte ich nicht mit nie, es geht darum ob für alle C E1!=E2
ob es bestimmt C gibt oder ob es gar kein C gibt für das immer
gilt E1!=E2 bei Key1!=Key2 .

Gruß
Stefan