Utilidades del sistema y transversales · Confianza e integridad

M35 · Licensing & Compiler

La herramienta del emisor que crea y firma las licencias, más la tecnología de vinculación al hardware.

Base (siempre activo) Implementado

Nivel 1 · De un vistazo

La herramienta del emisor que crea y firma las licencias, más la tecnología de vinculación al hardware.

Ventajas: Licencias que no pueden falsificarse sin la clave privada del emisor.

Ejemplo de uso: El emisor genera una licencia de 12 meses para los módulos M07 y M12 y la envía al cliente.

Capacidades clave

  • Generación de licencias firmadas (solo emisor)
  • Catálogo de licencias con 42 ids
  • Huella del hardware y prueba de posesión TPM vinculadas a las licencias (versión 2)
  • Motor de decisiones del propietario (biblioteca)
Nivel 2 · Detalle técnico

Licensing & Compiler, módulo base. El generador universal del lado del emisor genera_licenza.exe y generate_license.py (firma de licencias Ed25519, duraciones en meses naturales, 42 ids de licencia), nunca entregado a los clientes. dcos/m35 v1.x aditivo (biblioteca probada): Host Vector V_H a partir de atributos reales del hardware (SHA-256 mediante el kernel de M01 más Keccak-256), un motor de decisiones del propietario con 11 estados fail-secure explícitos (Receive != Authorize), gestión de cambios de hardware sin vinculación automática y prueba de posesión con una clave TPM 2.0 NO EXPORTABLE (Windows Platform Crypto Provider) o una alternativa por software sellada. Desde el 2026-11-12, la verificación de licencias de M01 (license_manager) aplica esta vinculación a las licencias de versión 2 (dcos/m35/license_binding.py): un hardware distinto o una prueba TPM fallida hacen que la licencia sea no válida, y una identidad de hardware ilegible o la ausencia de TPM la hacen no verificable; el cliente genera la solicitud de vinculación con dcos licenza impronta y el emisor la firma con generate_license.py emetti --vincolo.

Requisitos previos

Solo emisor; la clave privada se conserva sin conexión.

Límites declarados

El generador nunca se distribuye; el generador gráfico todavía no ofrece la vinculación al hardware (solo la línea de comandos). La vinculación se aplica a las licencias de versión 2; el dcos.exe firmado del 2026-11-12 es anterior a ella y debe recompilarse y volver a firmarse.

Planificado (hoja de ruta)

  • Opción de vinculación al hardware en el generador gráfico (genera_licenza.exe)

Nota del titular

El código de todos los módulos está íntegramente presente y los módulos han sido verificados. Cualquier estado indicado como «no verificado» o «parcialmente implementado» se debe exclusivamente a lagunas de prueba en el entorno de laboratorio (por ejemplo, la ausencia física de un dispositivo durante la campaña de pruebas), no a limitaciones del software. Las simulaciones declaradas (decisión D-24) son decisiones de diseño deliberadas.

Interconexiones

Las interconexiones mostradas son relaciones funcionales documentadas (reutilización de código y flujos de datos) o se derivan del papel arquitectónico; constituyen una reconstrucción editorial.

Textos oficiales: Documentación oficial D-COS NEXUS V130 MASTERWORK y presentación oficial V130 (noviembre de 2026).

Este módulo forma parte del ecosistema integrado

D-COS NEXUS no vende módulos por separado: cada capacidad vive dentro del ecosistema. Contáctenos para ver cómo se aplica a su contexto.