El modelo ACL falla en control de acceso web por errores lógicos

Fuentes: ACLs fail in web access control due to logical errors

El artículo técnico 'ACLs don't' de Tyler Close, publicado en los HP Laboratories en 2009, analiza una limitación fundamental del modelo de listas de control de acceso (ACL) en sistemas de seguridad. El autor argumenta que el modelo ACL es incapaz de tomar decisiones de acceso correctas en interacciones que involucran a más de dos entidades principales (principals), ya que la información necesaria para validar estas transacciones no se retiene entre los envíos de mensajes. Esta deficiencia lógica, documentada en la literatura académica pero poco comprendida, es explotada por ataques modernos como el clickjacking y la suplantación de solicitud entre sitios (CSRF), que afectan a muchas aplicaciones web. A diferencia de vulnerabilidades clásicas como las inyecciones SQL o desbordamientos de búfer, que inyectan código malicioso, estos ataques utilizan la lógica existente de la aplicación para acceder a recursos prohibidos sin modificar su código. El texto explica cómo estos ataques evaden las políticas de acceso mediante mensajes que siguen convenciones sintácticas legítimas. Close detalla el funcionamiento de la matriz de acceso y las técnicas de implementación, destacando las diferencias semánticas entre el modelo ACL y el basado en capacidades. El documento concluye que las medidas correctivas populares no resuelven el problema, ya que no implican corregir configuraciones ACL incorrectas ni añadir ACLs a partes no protegidas, sino abordar la incapacidad del modelo para gestionar el estado entre múltiples partes en entornos web.