MAC - nicht sicher < Krypt.+Kod.+Compalg. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 22:29 Mo 07.12.2015 | Autor: | Rocky14 |
Aufgabe | Sei [mm] \pi [/mm] =(Gen,Mac,Vrfy) ein MAC mit Nachrichten, Tags und Schlüsseln aus [mm] {0,1}^n [/mm] und [mm] Mac_{k}(Mac_{k}(m))=m [/mm] aber [mm] Mac_{k}(m) \not= [/mm] m für alle k,m aus [mm] {0,1}^n.
[/mm]
Zeige: [mm] \pi [/mm] ist kein sicherer MAC |
Hallo Leute,
könnt ihr mir bei dieser Aufgabe helfen? Ich habe da total Probleme mit. Also nach meinem Verständnis ist ein MAC ein Verfahren, dass die Echtheit einer Nachricht überprüft. Dabei existiert ein geheimer Schlüssel k, den nur Sender und Empfänger kennen.
Der Sender berechnet einen Tag/Prüfwert [mm] t=Mac_{k}(m) [/mm] aus Schlüssel und Nachricht, die er vorher vom Empfänger bekommen hat und sendet diese an den Empfänger. Dieser berechnet sich auch einen Prüfwert und sendet Nachricht und Prüfwert wieder zurück. Der Sender vergleicht dann beide Prüfwerte und wenn diese gleich sind, ist die Nachricht echt.
Stimmt das so? Ich finde zu diesem Thema noch so keinen richtigen Zugang.
An die Aufgabe würde ich nun wie folgt rangehen:
Nach Voraussetzung ist [mm] Mac_{k}(m) \not= [/mm] m. Wenn ich nun meinen Prüfwert t definiere als [mm] Mac_{k}(m), [/mm] so gilt gleichzeitig [mm] Mac_{k}(t) [/mm] = m <=> Vrfy(m,t) = 1, da nach Voraussetzung t ein gültiger Mac ist. Damit ist WS[Vrfy(m,t)=1]=1 und somit nicht vernachlässigbar und damit ist die Aufgabe gezeigt.
Stimmt das so? Vielen Dank schonmal im Voraus für eure Hilfe!
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 23:20 Mi 09.12.2015 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|