Meldingsautentiseringsalgoritme - Message Authenticator Algorithm

Den Message Authenticator Algorithm ( MAA ) var en av de første kryptografiske funksjoner for å beregne en meldingsautentiseringskode (MAC). Den ble designet i 1983 av Donald Davies og David Clayden ved National Physical Laboratory (Storbritannia) som svar på en forespørsel fra UK Bankers Automated Clearing Services. MAA var en av de første Message Authentication Code-algoritmene som fikk bred aksept.

Utvikling og standardisering

Den opprinnelige spesifikasjonen til MAA ble gitt i en kombinasjon av naturlig språk og tabeller, supplert med to implementeringer i C og BASIC programmeringsspråk.

MAA ble vedtatt av ISO i 1987 og ble en del av internasjonale standarder ISO 8730 og ISO 8731-2 ment å sikre ektheten og integriteten til banktransaksjoner.

Angrep

Senere avslørte kryptanalyse av MAA forskjellige svakheter, inkludert mulige brute-force-angrep, eksistens av kollisjonsklynger og nøkkelgjenopprettingsteknikker. Av denne grunn ble MAA trukket tilbake fra ISO-standardene i 2002, men ble fortsatt brukt som en fremtredende casestudie for vurdering av ulike formelle metoder .

Formelle spesifikasjoner for MAA

MAA har blitt brukt som en fremtredende casestudie for å vurdere ulike formelle metoder .

På begynnelsen av 1990-tallet utviklet NPL tre formelle spesifikasjoner for MAA: en i Z , en i LOTOS og en i VDM . VDM-spesifikasjonen ble en del av 1992-revisjonen av International Standard 8731-2, og tre implementeringer ble manuelt hentet fra den sistnevnte spesifikasjonen: C , Miranda og Modula-2 .

Andre formelle modeller for MAA er utviklet. I 2017 ble en fullstendig formell spesifikasjon av MAA som et stort omskrivingssystem publisert; Fra denne spesifikasjonen er implementeringer av MAA på femten forskjellige språk generert automatisk. I 2018 ble to nye formelle spesifikasjoner for MAA, i LOTOS og LNT, publisert.

Referanser

Eksterne linker