Algorytm uwierzytelniania wiadomości - Message Authenticator Algorithm

Uwierzytelnienia algorytm ( MAA ) był jednym z pierwszych kryptograficznej funkcji do obliczania kodu uwierzytelnienia wiadomości (MAC). Został zaprojektowany w 1983 roku przez Donalda Daviesa i Davida Claydena w National Physical Laboratory (Wielka Brytania) w odpowiedzi na prośbę brytyjskich Bankers Automated Clearing Services. MAA był jednym z pierwszych algorytmów Message Authentication Code, który zyskał powszechną akceptację.

Rozwój i standaryzacja

Oryginalna specyfikacja MAA została podana w kombinacji języka naturalnego i tabel, uzupełniona o dwie implementacje w językach programowania C i BASIC .

MAA została przyjęta przez ISO w 1987 roku i stała się częścią międzynarodowych norm ISO 8730 i ISO 8731-2 mających na celu zapewnienie autentyczności i integralności transakcji bankowych.

Ataki

Później kryptoanaliza MAA ujawniła różne słabości, w tym możliwe ataki siłowe, istnienie klastrów kolizyjnych i techniki odzyskiwania klucza. Z tego powodu MAA został wycofany z norm ISO w 2002 roku, ale nadal był używany jako znaczące studium przypadku do oceny różnych metod formalnych .

Formalne specyfikacje MAA

MAA został wykorzystany jako wybitne studium przypadku do oceny różnych metod formalnych .

Na początku lat dziewięćdziesiątych NPL opracowała trzy formalne specyfikacje MAA: jedną w Z , jedną w LOTOS i jedną w VDM . Specyfikacja VDM stała się częścią rewizji International Standard 8731-2 z 1992 r., A trzy implementacje zostały ręcznie wyprowadzone z tej ostatniej specyfikacji: C , Miranda i Modula-2 .

Opracowano inne formalne modele MAA. W 2017 r. Opublikowano pełną formalną specyfikację MAA jako wieloterminowego systemu przepisywania ; Na podstawie tej specyfikacji implementacje MAA w piętnastu różnych językach zostały wygenerowane automatycznie. W 2018 roku ukazały się dwie nowe specyfikacje formalne MAA w LOTOSIE i LNT.

Bibliografia

Linki zewnętrzne