b'\n_START_ARTICLE_\nMessage authentication code\n_START_SECTION_\nFunci\xc3\xb3n MAC ideal\n_START_PARAGRAPH_\nSe define la funci\xc3\xb3n MAC ideal como un mapeo aleatorio de todos los posibles valores del mensaje de entrada M en salidas de tama\xc3\xb1o de n bits.\n_START_SECTION_\nPropiedad de seguridad\n_START_PARAGRAPH_\n\xe2\x80\x8bPara que una funci\xc3\xb3n MAC pueda ser usada es necesario que sea resistente a la computaci\xc3\xb3n de nuevos valores hash.\n_START_SECTION_\nDebilidad. Aplicaci\xc3\xb3n del principio de Horton\xe2\x80\x8b\xe2\x80\x8b\n_START_PARAGRAPH_\nEl uso de valores MAC para autenticar provee cierta seguridad pero no es la panacea. Por ejemplo podr\xc3\xada haber un ataque que consistiera en interceptar el mensaje y el valor MAC para poder reutilizarlo para autenticarse._NEWLINE_En general el principio de Horton establece que se debe autenticar el significado del mensaje, y no el c\xc3\xb3digo del mensaje. Aplicando el principio a autenticaci\xc3\xb3n de mensaje con MAC, deber\xc3\xadamos autenticar no s\xc3\xb3lo el valor MAC, sino tambi\xc3\xa9n cierta informaci\xc3\xb3n que sea usada para formar un valor MAC que no sea ambiguo. Por ejemplo, puede ser buena idea incorporar alg\xc3\xban tipo de sello de tiempo cuando calculo el valor MAC (por ejemplo concaten\xc3\xa1ndolo al mensaje). Este sello de tiempo se enviar\xc3\xada al verificador. Si el verificador recibe un sello de tiempo antiguo entonces decide que es falso (ha caducado). Si el adversario decide actualizar el sello de tiempo entonces el valor MAC interceptado ya no ser\xc3\xada v\xc3\xa1lido para mand\xc3\xa1rselo al verificador._NEWLINE_Otro sistemas proponen\xe2\x80\x8b concatenar al mensaje (para calcular el valor MAC) cierto datos relativos al contexto en el que se est\xc3\xa1 (n\xc3\xbamero de mensaje, tama\xc3\xb1os de campos negociados, n\xc3\xbamero de versi\xc3\xb3n del protocolo,...). Estos datos no habr\xc3\xada que envi\xc3\xa1rselos al verificador porque ya est\xc3\xa1n en el contexto y los conoce.'