Algoritme voor berichtauthenticatie - Message Authenticator Algorithm

Het Message Authenticator Algorithm ( MAA ) was een van de eerste cryptografische functies voor het berekenen van een berichtauthenticatiecode (MAC). Het werd in 1983 ontworpen door Donald Davies en David Clayden van het National Physical Laboratory (Verenigd Koninkrijk) in reactie op een verzoek van de UK Bankers Automated Clearing Services. De MAA was een van de eerste Message Authentication Code-algoritmen die brede acceptatie kreeg.

Ontwikkeling en standaardisatie

De oorspronkelijke specificatie van de MAA werd gegeven in een combinatie van natuurlijke taal en tabellen, aangevuld met twee implementaties in C- en BASIC- programmeertalen.

De MAA werd in 1987 door ISO aangenomen en werd onderdeel van de internationale normen ISO 8730 en ISO 8731-2 die bedoeld waren om de authenticiteit en integriteit van banktransacties te waarborgen.

Aanvallen

Later bracht cryptanalyse van MAA verschillende zwakheden aan het licht, waaronder mogelijke brute-force-aanvallen, het bestaan ​​van botsingsclusters en sleutelhersteltechnieken. Om deze reden werd MAA in 2002 uit de ISO-normen gehaald, maar werd het nog steeds gebruikt als een prominente case study voor het beoordelen van verschillende formele methoden .

Formele specificaties van de MAA

De MAA is gebruikt als een prominente case study voor het beoordelen van verschillende formele methoden .

Begin jaren negentig ontwikkelde de NPL drie formele specificaties van de MAA: één in Z , één in LOTOS en één in VDM . De VDM-specificatie werd onderdeel van de herziening van 1992 van de International Standard 8731-2, en drie implementaties werden handmatig afgeleid van die laatste specificatie: C , Miranda en Modula-2 .

Er zijn andere formele modellen van de MAA ontwikkeld. In 2017 werd een volledige formele specificatie van de MAA als een herschrijfsysteem op grote termijn gepubliceerd; Vanuit deze specificatie zijn automatisch implementaties van de MAA in vijftien verschillende talen gegenereerd. In 2018 zijn twee nieuwe formele specificaties van de MAA gepubliceerd, in LOTOS en LNT.

Referenties

Externe links