Algoritmul de autentificare a mesajelor - Message Authenticator Algorithm

Mesajul Authenticator Algorithm ( MAA ) a fost una dintre primele criptografice funcții pentru calcularea unui cod de autentificare mesaj (MAC). A fost proiectat în 1983 de Donald Davies și David Clayden la Laboratorul Național de Fizică (Regatul Unit) ca răspuns la o solicitare a Serviciilor de compensare automatizată a bancherilor din Marea Britanie. MAA a fost unul dintre primii algoritmi ai codului de autentificare a mesajelor care a obținut acceptarea pe scară largă.

Dezvoltare și standardizare

Specificația originală a MAA a fost dată într-o combinație de limbaj natural și tabele, completată de două implementări în limbaje de programare C și BASIC .

MAA a fost adoptat de ISO în 1987 și a devenit parte a standardelor internaționale ISO 8730 și ISO 8731-2 destinate să asigure autenticitatea și integritatea tranzacțiilor bancare.

Atacuri

Mai târziu, criptanaliza MAA a dezvăluit diferite puncte slabe, inclusiv atacuri de forță brută fezabile, existența grupurilor de coliziune și tehnici de recuperare a cheilor. Din acest motiv, MAA a fost retras din standardele ISO în 2002, dar a continuat să fie folosit ca studiu de caz proeminent pentru evaluarea diferitelor metode formale .

Specificații formale ale MAA

MAA a fost folosit ca un studiu de caz proeminent pentru evaluarea diferitelor metode formale .

La începutul anilor 1990, NPL a dezvoltat trei specificații formale ale MAA: una în Z , una în LOTOS și una în VDM . Specificația VDM a devenit parte a revizuirii din 1992 a Standardului Internațional 8731-2 și trei implementări au fost derivate manual din această ultimă specificație: C , Miranda și Modula-2 .

Au fost dezvoltate alte modele formale ale MAA. În 2017, a fost publicată o specificație formală completă a MAA ca sistem de rescriere pe termen lung ; Din această specificație, implementările MAA în cincisprezece limbi diferite au fost generate automat. În 2018, au fost publicate două noi specificații formale ale MAA, în LOTOS și LNT.

Referințe

linkuri externe