Securing Filesystems for Confidential Computing

En la era digital moderna, nos hemos acostumbrado a la idea de que nuestros datos están seguros en la nube. Confiamos en que, cuando guardamos un archivo o actualizamos una base de datos, este permanecerá exactamente como lo dejamos, protegido de miradas indiscretas y de pérdidas accidentales. Sin embargo, ha existido una brecha fundamental en esta confianza. Si bien han surgido nuevas tecnologías llamadas "computación confidencial" para blindar la memoria donde una computadora está pensando activamente, estas dejan vulnerable al disco duro. Imagine una bóveda donde la caja fuerte en su interior es impenetrable, pero el pasillo que conduce a ella es controlado por un extraño que puede intercambiar sus documentos, reescribir la historia o reemplazar su versión actual por una antigua sin que usted lo sepa jamás. Esta es la realidad de las aplicaciones que se ejecutan en entornos seguros hoy en día: sus cálculos están protegidos, pero el almacenamiento en el que dependen puede ser manipulado por un proveedor de la nube malintencionado o un administrador de sistemas comprometido.

El desafío, entonces, es construir un sistema que proteja los datos en el disco con la misma ferocidad con la que protege los datos en la memoria, sin ralentizar la computadora ni obligar a los programadores a reescribir su software. Un equipo de investigadores de Microsoft Azure, el Imperial College London y otras instituciones ha abordado este problema creando una nueva forma de gestionar el almacenamiento de archivos. Desarrollaron un sistema llamado SHIELDFS, que actúa como un guardián para los datos persistentes, asegurando que lo que se lee del disco es exactamente lo que se escribió, y que nadie ha retrocedido el tiempo secretamente a un estado anterior. Su trabajo, implementado como una versión específica de un popular sistema de archivos de código abierto llamado ZFS, demuestra que es posible asegurar el almacenamiento incluso contra los atacantes más poderosos manteniendo velocidades casi idénticas a las de los sistemas estándar no asegurados.

El núcleo del problema reside en cómo las computadoras manejan los datos a lo largo del tiempo. Cuando una aplicación guarda información, la escribe en un disco. En un entorno seguro, la memoria de la computadora está blindada, pero el disco suele estar gestionado por el proveedor de la nube. Un proveedor deshonesto podría, teóricamente, registrar el estado de un disco en un momento específico y, más tarde, si la aplicación intenta actualizar esos datos, el proveedor podría simplemente reemplazar la nueva versión con la versión antigua registrada. Esto se conoce como un ataque de reversión (rollback attack). La aplicación leería los datos antiguos, creyendo que son actuales, lo que provocaría errores, pérdida de transacciones o bases de datos corruptas. Las soluciones existentes requerían que el propio almacenamiento fuera de confianza (lo que anula el propósito de la seguridad en la nube), imponían penalizaciones de rendimiento pesadas que hacían que los sistemas fueran demasiado lentos para ser útiles, o forzaban a los desarrolladores a construir controles de seguridad personalizados en cada una de sus aplicaciones, un proceso tedioso y propenso a errores.

Para resolver esto, los investigadores diseñaron un sistema que trata al sistema de archivos mismo como una cadena de eventos verificados. En lugar de solo almacenar archivos, el sistema crea una "huella digital" criptográfica para cada cambio realizado en los datos. Cuando se escribe una pieza de información, el sistema calcula un código único basado en esos datos y en el historial de cambios que les precedió. Este código se almacena entonces junto a los datos. Crucialmente, el sistema también mantiene un registro muy pequeño y seguro de la última "huella digital" válida en una ubicación separada y confiable que el atacante no puede tocar. Esta ubicación de confianza actúa como un punto de control (checkpoint). Cada vez que la computadora se reinicia o intenta leer datos, verifica la huella digital en el disco contra la que se encuentra en el punto de control de confianza. Si el atacante ha intercambiado el disco por una versión antigua o ha alterado los datos, las huellas digitales no coincidirán y el sistema lo sabrá inmediatamente, rechazando la carga de los datos corruptos.

Los investigadores construyeron una versión funcional de este sistema, a la que llamaron SHIELDZFS, extendiendo un sistema de archivos ya existente y ampliamente utilizado llamado ZFS. No necesitaron cambiar la forma fundamental en que el sistema de archivos organiza los datos en el disco; en su lugar, añadieron una capa de verificación que se ejecuta dentro de la memoria segura de la computadora. Esta capa garantiza que cada vez que se escriben datos, se añade un nuevo vínculo inquebrantable a la cadena de la historia. También crearon un servicio ligero, al que llaman "registro" (registry), que se ejecuta en su propio entorno seguro para albergar las últimas huellas digitales válidas para muchos sistemas de archivos diferentes a la vez. Este registro está diseñado para ser rápido y fiable, capaz de manejar miles de solicitudes por segundo con un retraso de menos de un milisegundo, asegurando que las comprobaciones de seguridad no se conviertan en un cuello de botella.

Para probar su creación, el equipo realizó una serie de experimentos rigurosos utilizando pruebas de rendimiento estándar y aplicaciones del mundo real, como servidores de bases de datos y servidores de archivos. Compararon su sistema seguro contra sistemas de archivos estándar y otras herramientas de seguridad. Los resultados mostraron que SHIELDZFS detectó con éxito cada tipo de manipulación que simularon, incluyendo intentos de revertir datos, reproducir versiones antiguas o crear copias conflictivas del sistema de archivos. En términos de velocidad, el sistema seguro funcionó notablemente bien. Para la mayoría de las tareas, fue casi tan rápido como la versión estándar y no asegurada del sistema de archivos. En los escenarios más exigentes, donde los datos debían escribirse y confirmarse instantáneamente, fue solo aproximadamente 1.7 veces más lento que la versión estándar, una compensación que muchas organizaciones preocupadas por la seguridad encontrarían aceptable. En contraste, otros métodos de seguridad que probaron fueron significativamente más lentos, a veces hasta cinco veces más lentos, lo que los hacía impracticables para necesidades de alto rendimiento.

Los investigadores también exploraron cómo este sistema podría funcionar junto con software existente que ya posee algunas características de seguridad. Descubrieron que, al utilizar su sistema seguro solo para las partes más críticas de una base de datos —los registros (logs) que anotan los cambios— y utilizar un sistema de archivos estándar y más rápido para el resto de los datos, podían lograr lo mejor de ambos mundos. Este enfoque híbrido les permitió mantener una alta seguridad para los datos más importantes mientras mantenían la velocidad y la capacidad de respuesta general del sistema. El estudio confirma que es posible construir un sistema de archivos que sea resiliente contra un proveedor de la nube malintencionado sin requerir una reestructuración completa del software que lo utiliza. Al convertir el sistema de archivos en una estructura de autoverificación y anclarla a un punto de control externo de confianza, los investigadores han proporcionado un camino práctico para asegurar los datos en la nube, garantizando que lo que se guarda es exactamente lo que se recupera, sin importar quién controle el hardware.