Saltar al contenido
uencoder

Race Condition

Una condición de carrera ocurre cuando múltiples hilos acceden concurrentemente a recursos compartidos y la ejecución entrelazada produce estados inesperados, que pueden explotarse para eludir comprobaciones.

Propósito

Entender las omisiones de controles de seguridad causadas por carreras de concurrencia y sus defensas; un defecto común en programas multi-hilo.

Mecanismo

TOCTOU: la ventana entre comprobar y usar puede explotarla un atacante (p. ej., tras comprobar que un archivo existe, el atacante lo sustituye por un symlink). Defensas: operaciones atómicas, cerrojos, descriptores de archivo.

Casos de uso

  • Auditoría de seguridad de concurrencia
  • Vulnerabilidades TOCTOU
  • Defectos multi-hilo

Herramientas relacionadas

References