Nachrichtenauthentifizierungsalgorithmus - Message Authenticator Algorithm

Der Message Authenticator Algorithm ( MAA ) war eine der ersten kryptografischen Funktionen zur Berechnung eines Message Authentication Code (MAC). Es wurde 1983 von Donald Davies und David Clayden im National Physical Laboratory (Großbritannien) auf Anfrage der UK Bankers Automated Clearing Services entworfen. Der MAA war einer der ersten Algorithmen für den Nachrichtenauthentifizierungscode, die breite Akzeptanz fanden.

Entwicklung und Standardisierung

Die ursprüngliche Spezifikation des MAA wurde in einer Kombination aus natürlicher Sprache und Tabellen angegeben, ergänzt durch zwei Implementierungen in den Programmiersprachen C und BASIC .

Das MAA wurde 1987 von der ISO verabschiedet und wurde Teil der internationalen Standards ISO 8730 und ISO 8731-2, um die Authentizität und Integrität von Bankgeschäften zu gewährleisten.

Anschläge

Später ergab die Kryptoanalyse von MAA verschiedene Schwachstellen, darunter mögliche Brute-Force-Angriffe, das Vorhandensein von Kollisionsclustern und Techniken zur Schlüsselwiederherstellung. Aus diesem Grund wurde MAA im Jahr 2002 aus den ISO-Standards zurückgezogen, aber weiterhin als herausragende Fallstudie zur Bewertung verschiedener formaler Methoden verwendet .

Formale Spezifikationen der MAA

Die MAA wurde als herausragende Fallstudie zur Bewertung verschiedener formaler Methoden verwendet .

In den frühen neunziger Jahren entwickelte die NPL drei formale Spezifikationen der MAA: eine in Z , eine in LOTOS und eine in VDM . Die VDM-Spezifikation wurde Teil der Überarbeitung des Internationalen Standards 8731-2 von 1992, und drei Implementierungen wurden manuell aus dieser letzteren Spezifikation abgeleitet: C , Miranda und Modula-2 .

Andere formale Modelle der MAA wurden entwickelt. Im Jahr 2017 wurde eine vollständige formale Spezifikation des MAA als ein System zur langfristigen Umschreibung veröffentlicht. Aus dieser Spezifikation wurden automatisch Implementierungen des MAA in fünfzehn verschiedenen Sprachen generiert. Im Jahr 2018 wurden zwei neue formale Spezifikationen der MAA in LOTOS und LNT veröffentlicht.

Verweise

Externe Links