KasperskyOS

KasperskyOS es un sistema operativo propietario, basado en un microkernel parcialmente compatible con POSIX , desarrollado desde cero utilizando principios de seguridad por diseño. Fue creado por Kaspersky Lab para productos de TI en industrias con estrictos requisitos de ciberseguridad , confiabilidad y previsibilidad operativa. ^{[ 1 ]} Los principales casos de uso son equipos de red, pasarelas de control industrial / IoT , automóviles inteligentes , infraestructura de transporte y ciudades inteligentes , y otros usos de infraestructura crítica . ^{[ 2 ]}

El sistema operativo protege los sistemas de TI contra código malicioso y la explotación de vulnerabilidades , reduciendo los riesgos de errores de software accidentales o intencionales. ^{[ 3 ]} Cuenta con un núcleo mínimo de confianza, un estricto aislamiento de componentes en el espacio de usuario, la aplicación de políticas de denegación por defecto y un control formal basado en políticas a través del Sistema de Seguridad de Kaspersky. El objetivo es crear sistemas "ciberinmunitarios" que mantengan las funciones críticas operativas incluso si algunas partes del sistema son atacadas mediante vulnerabilidades desconocidas. ^{[ 2 ]}

KasperskyOS está construido sobre su propio microkernel, desarrollado desde cero sin utilizar código ni bibliotecas de terceros. ^{[ 1 ]} Existe una edición comunitaria para prototipado y desarrollo. ^{[ 4 ]}

KasperskyOS combina los enfoques de arquitectura de seguridad MILS ( Multiple Independent Levels of Security ) y FLASK con las tecnologías propias de Kaspersky. ^{[ 5 ]}

En el modelo MILS, un sistema seguro consta de dominios de seguridad aislados y un núcleo de separación que gestiona las interacciones entre ellos. ^{[ 5 ]}

La comunicación entre procesos se produce únicamente a través del monitor de seguridad (Kaspersky Security System) mediante interfaces tipadas. Por lo tanto, el sistema permanece seguro en su conjunto incluso si componentes aislados contienen vulnerabilidades o código malicioso. ^{[ 3 ]}

En la arquitectura FLASK, el sistema de seguridad se divide en la aplicación de políticas, que es gestionada por el microkernel, y la toma de decisiones sobre políticas, que es gestionada por el monitor de seguridad. Esta separación simplifica el análisis del sistema y garantiza la coherencia en las políticas de seguridad. ^{[ 5 ]}

KasperskyOS está construido sobre un microkernel escrito en C (estándar C99) que comprende aproximadamente 100 000 líneas de código, mientras que el kernel de Linux , por ejemplo, tenía más de 40 millones de líneas de código en 2025. ^{[ 6 ]} Esta compacidad reduce la superficie de ataque potencial y simplifica la verificación formal. ^{[ 1 ]}

El microkernel implementa únicamente los mecanismos esenciales de bajo nivel que requieren ejecución privilegiada:

• Planificación de procesos e hilos;
• gestión de memoria virtual;
• Control de acceso a puertos de E/S ;
• gestión de acceso directo a memoria (DMA);
• sincronización mediante futexes;
• manejo de interrupciones;
• gestión del reloj en tiempo real;
• gestión de descriptores;
• La comunicación entre procesos es estrictamente síncrona y se basa en mensajes (solicitud/respuesta);
• interacción con el subsistema de seguridad (Kaspersky Security System). ^{[ 5 ]}

Los controladores , los sistemas de archivos , las pilas de red y otros componentes se ejecutan en el espacio de usuario como procesos aislados y se comunican con el núcleo mediante llamadas al sistema. ^{[ 3 ]} El micronúcleo expone solo tres llamadas al sistema, minimizando las vulnerabilidades del sistema. ^{[ 1 ]}

Kaspersky Security System (KSS) es un centro unificado de toma de decisiones de seguridad y un monitor de seguridad centralizado que supervisa todas las interacciones entre los componentes del sistema. ^{[ 3 ]}

El microkernel de KasperskyOS solo entrega un mensaje si KSS autoriza su entrega según un conjunto definido de políticas de seguridad. Si la autorización es negativa, la transmisión se bloquea y se pueden tomar medidas para restablecer el funcionamiento normal del sistema.

Se ha desarrollado un lenguaje especial de descripción de políticas, el Lenguaje de Especificación de Políticas (PSL), para el diseño de políticas. La sintaxis de PSL permite combinar múltiples modelos de seguridad en una sola política, incluyendo máquinas de estados finitos y de estados, modelos de Aplicación de Tipos (TE), Control de Acceso Basado en Roles (RBAC), entre otros. También es posible desarrollar clases de políticas personalizadas. En PSL, la descripción se formula en función de la tarea en sí.

PSL elimina la necesidad de que los desarrolladores escriban implementaciones de políticas de seguridad o configuren KSS manualmente. El código de monitorización optimizado para la tarea seleccionada se genera a partir de la descripción PSL mediante un compilador especial. ^{[ 5 ]}

KasperskyOS admite múltiples arquitecturas de hardware: x86 / x86_64 , ARMv5 , ARMv7, ARMv8, MIPS32 .

Plataformas probadas: CPU Intel Generic y Atom, serie NXP i.MX , procesadores TI Sitara, plataformas HiSilicon Kirin , MIPS24k. ^{[ 7 ]}

La edición comunitaria de KasperskyOS permite el desarrollo de aplicaciones educativas que pueden ejecutarse en QEMU (x86_64) o Raspberry Pi 4 Modelo B. ^{[ 3 ]}

2002: El desarrollo comenzó bajo el nombre en clave interno “11.11”. ^{[ 8 ]}

2012: Eugene Kaspersky anunció públicamente KasperskyOS por primera vez.

2013: Pruebas beta realizadas por empresas asociadas.

2015: Colaboración con SYSGO ( desarrollador de PikeOS ) e integración del sistema de seguridad de Kaspersky en un sistema operativo de terceros.

2016: Finalización del desarrollo del kernel y anuncio del primer socio de hardware.

2017: Lanzamiento oficial de KasperskyOS. ^{[ 9 ]}

2019: Desarrollo de un sistema operativo móvil seguro basado en KasperskyOS.

2021: Lanzamiento del primer producto comercial basado en KasperskyOS ( pasarela IoT industrial ).

2021: Lanzamiento de KasperskyOS Community Edition con fines educativos.

2022: Lanzamiento de un modelo mejorado de puerta de enlace IoT.

2023–2024: Desarrollo de un prototipo de teléfono inteligente y un ecosistema de aplicaciones . Lanzamiento de la plataforma “Kaspersky Appicenter” para clientes corporativos y empresas industriales.

KasperskyOS se utiliza en sectores que requieren un alto nivel de ciberseguridad, fiabilidad y comportamiento determinista:

• Internet de las cosas (IoT e IIoT);
• infraestructura inteligente;
• sistemas de transporte;
• infraestructura de escritorio virtual (VDI);
• dispositivos móviles corporativos. ^{[ 3 ]}

Ya existen productos basados ​​en KasperskyOS en uso:

Kaspersky IoT Secure Gateway (KISG) 100 : una puerta de enlace ciberinmune que funciona como un diodo de datos , lo que permite la transferencia segura de datos en una sola dirección a sistemas externos.

KISG 1000 : una puerta de enlace industrial que agrega datos de dispositivos y los transmite de forma segura a entornos empresariales o en la nube, con controles de seguridad integrados.

Kaspersky Thin Client : un cliente ligero seguro que proporciona acceso a la infraestructura de escritorio virtual a través de protocolos de escritorio remoto. ^{[ 3 ]}

Las primeras implementaciones del sistema operativo también aparecieron en los equipos de enrutamiento y conmutación de Kraftway.

• QNX