Algorytm uwierzytelniania wiadomości

Algorytm uwierzytelniania wiadomości ( MAA ) był jedną z pierwszych funkcji kryptograficznych do obliczania kodu uwierzytelniania wiadomości (MAC). Został zaprojektowany w 1983 roku przez Donalda Daviesa i Davida Claydena z National Physical Laboratory (Wielka Brytania) w odpowiedzi na prośbę UK 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 połączeniu języka naturalnego i tabel, uzupełniona dwoma implementacjami 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 standardów ISO 8730 i ISO 8731-2, których celem jest zapewnienie autentyczności i integralności transakcji bankowych.

Ataki

Później kryptoanaliza MAA ujawniła różne słabości, w tym wykonalne ataki siłowe, istnienie klastrów kolizji i techniki odzyskiwania klucza. Z tego powodu MAA została wycofana z norm ISO w 2002 r., ale nadal była wykorzystywana jako wybitne studium przypadku do oceny różnych metod formalnych .

Specyfikacje formalne MAA

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

Na początku lat 90. 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 Międzynarodowego Standardu 8731-2 z 1992 roku, a trzy implementacje zostały ręcznie wyprowadzone z tej ostatniej specyfikacji: C , Miranda i Modula-2 .

Opracowano inne formalne modele MAA. W 2017 roku opublikowano pełną formalną specyfikację MAA jako systemu przepisywania dużych terminów ; Na podstawie tej specyfikacji automatycznie wygenerowano implementacje MAA w piętnastu różnych językach . W 2018 r. opublikowano dwie nowe specyfikacje formalne MAA, w LOTOS i LNT.

Linki zewnętrzne