Algoritmo del autenticador de mensajes - Message Authenticator Algorithm

El algoritmo de autenticación de mensajes ( MAA ) fue una de las primeras funciones criptográficas para calcular un código de autenticación de mensajes (MAC). Fue diseñado en 1983 por Donald Davies y David Clayden en el Laboratorio Nacional de Física (Reino Unido) en respuesta a una solicitud de los Bankers Automated Clearing Services del Reino Unido. El MAA fue uno de los primeros algoritmos de código de autenticación de mensajes que obtuvo una amplia aceptación.

Desarrollo y estandarización

La especificación original del MAA se dio en una combinación de lenguaje natural y tablas, complementada con dos implementaciones en lenguajes de programación C y BASIC .

El MAA fue adoptado por ISO en 1987 y se convirtió en parte de las normas internacionales ISO 8730 e ISO 8731-2 destinadas a asegurar la autenticidad e integridad de las transacciones bancarias.

Ataques

Más tarde, el criptoanálisis de MAA reveló varias debilidades, incluidos los posibles ataques de fuerza bruta, la existencia de grupos de colisión y las técnicas de recuperación de claves. Por esta razón, MAA se retiró de las normas ISO en 2002, pero siguió utilizándose como un estudio de caso destacado para evaluar varios métodos formales .

Especificaciones formales del MAA

El MAA se ha utilizado como un estudio de caso destacado para evaluar varios métodos formales .

A principios de la década de 1990, la NPL desarrolló tres especificaciones formales de la MAA: una en Z , una en LOTOS y una en VDM . La especificación VDM se convirtió en parte de la revisión de 1992 de la Norma Internacional 8731-2, y tres implementaciones se derivaron manualmente de esta última especificación: C , Miranda y Modula-2 .

Se han desarrollado otros modelos formales del MAA. En 2017, se publicó una especificación formal completa del MAA como un sistema de reescritura a largo plazo ; A partir de esta especificación, se han generado automáticamente implementaciones del MAA en quince idiomas diferentes . En 2018, se han publicado dos nuevas especificaciones formales del MAA, en LOTOS y LNT.

Referencias

enlaces externos