Patent ES-2647115-T3 (ES)
Title: Sistema y método para la carga de datos segura en una memoria caché
Inventor: HUNACEK DIDIER
IPC: G06F21/74
Filed: 2014-06-12
Granted: 2017-12-19
Abstract: Sistema para el tratamiento de datos digitales que comprende: al menos una memoria externa no fiable (EM) para almacenar datos que se procesan, una memoria programable una sola vez (OTP), al menos un procesador seguro (SCPU) conectado a la una memoria programable una sola vez (OTP) y configurado para ejecutar el procesamiento de datos usando al menos una memoria externa no fiable (EM), al menos una memoria caché interna segura (SCM) conectada a al menos un procesador seguro (SCPU) para cargar o almacenar datos, y al menos un traductor caché seguro (SCT) conectado a al menos una memoria caché interna segura (SCM) y al menos una memoria externa no fiable (EM) que funciona como una unidad de gestión de memoria configurada por una tabla de dispersión de caché segura (SHT) almacenada en la memoria caché interna segura (SCM), el traductor caché seguro (SCT) está configurado para: a) almacenar en la tabla de dispersión de caché segura (SHT) durante una fase de inicialización parámetros relacionados con procesos en curso (PR1 PR2), los parámetros, que están dispuestos en páginas de datos persistentes y variables (P0, P1, P2 ...), comprenden al menos un identificador de proceso PR ID), y una dispersión de raíz (rh) basada en dispersiones de nodo calculadas en al menos una página de datos persistente según una estructura arbórea Merkle, b) verificar la integridad de páginas de datos (P0, P1, P2 ...) durante la transferencia de páginas de datos desde la memoria caché interna segura (SCM) a la memoria externa (EM), la verificación se realiza comparando una dispersión de raíz calculada de páginas persistentes almacenada en la memoria externa (EM) con una dispersión de raíz correspondiente almacenada en la tabla de dispersión de caché segura (SHT) y en respuesta a una comparación exitosa para calcular una dispersión de raíz nueva con dispersiones de nodo de páginas variables combinadas con dispersiones de nodo de páginas persistentes y para almacenar la dispersión de raíz nueva obtenida en la tabla de dispersión de caché segura (SHT) y en la memoria externa (EM). c) verificar la integridad de páginas de datos (P0, P1, P2 ...) durante la transferencia de páginas de datos desde la memoria externa (EM) a la memoria caché interna segura (SCM) la verificación se realiza por la comparación de una dispersión de raíz calculada de al menos una página para transferir con una dispersión correspondiente almacenada en la tabla de dispersión de caché segura (SHT) y en respuesta a la comparación cuando es exitosa, de forma que se permite que se use la página mediante el procesador seguro (SCPU), el sistema se caracteriza por el hecho de que un mecanismo de versionado se usa durante el cálculo de dispersión de raíz, el procesador seguro (SCPU) está configurado para acceder a un modo lectura/escritura un contador monotónico que genera un valor de referencia de versión en la una memoria programable una sola vez (OTP) y para cargar una página de datos persistente verificando, además de la dispersión de raíz (rh), que el valor de referencia de versión almacenado en la tabla de dispersión de caché segura (SHT) es igual o superior a un valor correspondiente almacenado en la una memoria programable una sola vez (OTP).