Algorithme d'authentification de message - Message Authenticator Algorithm

L' algorithme d'authentification de message ( MAA ) a été l'une des premières fonctions cryptographiques pour calculer un code d'authentification de message (MAC). Il a été conçu en 1983 par Donald Davies et David Clayden au National Physical Laboratory (Royaume-Uni) en réponse à une demande des UK Bankers Automated Clearing Services. Le MAA a été l'un des premiers algorithmes de code d'authentification de message à être largement accepté.

Développement et normalisation

La spécification originale du MAA a été donnée dans une combinaison de langage naturel et de tables, complétée par deux implémentations en langage de programmation C et BASIC .

Le MAA a été adopté par l' ISO en 1987 et fait partie des normes internationales ISO 8730 et ISO 8731-2 destinées à garantir l'authenticité et l'intégrité des transactions bancaires.

Attaques

Plus tard, la cryptanalyse de MAA a révélé diverses faiblesses, notamment des attaques possibles par force brute, l'existence de clusters de collision et des techniques de récupération de clé. Pour cette raison, MAA a été retiré des normes ISO en 2002, mais a continué à être utilisé comme une étude de cas importante pour évaluer diverses méthodes formelles .

Spécifications formelles du MAA

Le MAA a été utilisé comme une étude de cas importante pour évaluer diverses méthodes formelles .

Au début des années 90, le NPL a développé trois spécifications formelles du MAA: une en Z , une en LOTOS et une en VDM . La spécification VDM est devenue une partie de la révision de 1992 de la Norme internationale 8731-2, et trois implémentations ont été dérivées manuellement de cette dernière spécification: C , Miranda et Modula-2 .

D'autres modèles formels du MAA ont été développés. En 2017, une spécification formelle complète du MAA en tant que système de réécriture à long terme a été publiée; À partir de cette spécification, des implémentations du MAA dans quinze langues différentes ont été générées automatiquement. En 2018, deux nouvelles spécifications formelles du MAA, dans LOTOS et LNT, ont été publiées.

Les références

Liens externes