
English: 
We saw earlier how we could prove correctness, and correctness is easy to show.
Proving security is really hard.
This property of the one-time pad that we can change the key and that leads
to a different message, is the reason why it is secure.
But first I want to talk about how to prove security in general.
Then we'll come back to the problem of how do we prove that the one-time pad
is actually a perfect cipher.
How can we argue that a cipher is secure?
This is a really hard problem.
I'm going to start with a quiz, and it will definitely require some guesswork.
See if you think it through before I explain the answer.
I'm going to give you give possible ways someone might argue
that a cipher is secure.
For this quiz, your goal is to order the arguments below
by how effective they are in convincing someone that a cipher is secure.
Use 1 to indicate the best argument and 4 to indicate the worst argument.
The choices are many very smart people were highly-motivated to break
the cipher but were not able to.
That means it must be secure.

German: 
Wir haben bereits gesehen, wie wir Korrektheit beweisen können, und Korrektheit ist einfach zu zeigen.
Sicherheit zu beweisen, ist wirklich schwer.
Die Eigenschaft des One-Time Pad, dass wir den Schlüssel wechseln können, und das führt
zu einer anderen Nachricht, ist der Grund, warum es sicher ist.
Aber zunächst möchte ich darüber sprechen, wie man Sicherheit im allgemeinen beweist.
Danach kommen wir zurück zu der Aufgabe, wie wir beweisen, dass das One-Time Pad
tatsächlich ein perfektes Chiffrierverfahren ist.
Wie kännen wir zeigen, dass ein Chiffrierverfahren sicher ist?
Das ist wirklich ein schweres Problem.
Ich beginne mit einem Quiz, und das erfordert definitiv einiges Rätselraten.
Versucht, gründlich darüber nachzudenken, bevor ich die Antwort erkläre.
Ich werde euch fünf Möglichkeiten geben, wie man argumentieren könnte,
dass ein Chiffrierverfahren sicher ist.
Für dieses Quiz ist euer Ziel, die Argumente unten danach zu sortieren,
wie effektiv sie jemanden davon überzeugen können, dass ein Chiffrierverfahren sicher ist.
Nimm die 1, um das beste Argument zu bezeichnen und 4 für das schlechteste.
Die Auswahlmöglichkeiten: Viele sehr schlaue Leute waren hoch motiviert,
das Verfahren zu knacken, aber sie haben es nicht geschafft.
Das bedeutet, es muss sicher sein.

English: 
The second choice is there are 834 quadrillion possible keys, so it must be secure.
The third choice here is a mathematical proof that's been accepted by experts
that shows the cipher is secure.
The forth choice is here is a strong argument why breaking the cipher
is at least as hard as some problem we already believe is hard.
This is a bit of a unfair question, since we haven't talked about this yet.
I think it's useful for you to think about it on your own before I talk about it.

German: 
Die zweite Auswahlmöglichkeit ist: Es gibt 834 Billiarden mögliche Schlüssel, also muss es sicher sein.
Die dritte Auswahlmöglichkeit: Hier ist ein von Experten akzeptierter mathematischer Beweis,
der zeigt, das Verfahren ist sicher.
Die vierte Auswahlmöglichkeit: Hier ist ein starkes Argument. warum ein Knacken des Verfahrens
mindestens so schwer ist, wie ein Problem, das wir bereits für hart halten.
Das ist eine etwas unfaire Frage, da wir darüber noch nicht gesprochen haben.
Ich denke es ist hilfreich für euch, wenn ihr zunächst selbst darüber nachdenkt, bevor ich darüber spreche.

German: 
Versucht, herauszufinden, welche dieser Argumente am wirksamsten sind.

English: 
See if you can figure out which of these arguments are most effective.
