securix: NixOS-based secure operating system. Provides a hardened environment with strong isolation, reproducibility, and policy-driven configurations
Summary
Sécurix is a NixOS-based secure operating system developed by the French digital department (DINUM) for hardened environments with strong isolation, reproducibility, and policy-driven configurations, currently in alpha.
View Cached Full Text
Cached at: 05/31/26, 10:18 AM
cloud-gouv/securix
Source: https://github.com/cloud-gouv/securix
Sécurix: Base OS pour poste sécurisé
Ce projet est en alpha, aucun support n’est proposé pour l’heure.
Objectifs
Sécurix est un projet développé et utilisé au département de l’opérateur (OPI) de la DINUM.
Il constitue un modèle de PC sécurisé conçu pour permettre des accès à la production et d’autres usages critiques en garantissant un niveau de sécurité variable selon la configuration employée.
Grace à NixOS, ce modèle de PC sécurisé est ré-instantiable pour des cas d’usages variables: poste multi-agent, poste multi-niveaux, poste en intranet seulement, etc. avec des équipes différentes, des souches de VPN différents.
Construit selon les recommandations de l’ANSSI : https://cyber.gouv.fr/publications/recommandations-relatives-ladministration-securisee-des-si.
Cible d’architecture technique
Système d’exploitation
Sécurix repose sur NixOS avec un noyau Linux personnalisé conformément aux règles ANSSI de durcissement, certains d’entre eux étant désactivables selon le besoin.
Modules de sécurité intégrés
- Configuration systématique selon les recommandations de l’ANSSI pour les systèmes GNU/Linux : https://cyber.gouv.fr/publications/recommandations-de-securite-relatives-un-systeme-gnulinux.
- Support avancé de TPM2 et Yubikey pour la gestion des clés d’authentification.
- Chiffrement des données à l’aide de
ageou d’un serveur Vault. - Enrôlement centralisé pour Secure Boot avec gestion PK/KEK.
- Connexion au poste de travail en FIDO2 et le mot de passe n’est qu’un mode secours.
- Déchiffrement du poste à l’aide d’une clé FIDO2 (une clé de secours est générée à l’installation).
Fonctionnalités en développement (par priorité)
-
Renforcement de la sécurité
- Application des recommandations ANSSI pour un durcissement complémentaire: https://cyber.gouv.fr/publications/recommandations-de-securite-relatives-un-systeme-gnulinux.
- Ajout de la configuration d’un puits de traces pour l’envoi des activités d’un système Sécurix.
-
Onboarding rapide et gestion centralisée
- Mise en place d’un serveur “phone home” permettant d’ajouter automatiquement :
- La clé SSH TPM2 du système au dépôt d’infrastructure.
- L’autorisation pour déchiffrer les secrets via
age(ou intégration future avec Vault). - Ce morceau d’infrastructure pourra s’insérer dans un processus métier visant à mettre en place un nouveau Sécurix pour un agent.
- Mise en place d’un serveur “phone home” permettant d’ajouter automatiquement :
-
Support avancé des clés de sécurité
- Gestion et rotation des clés Secure Boot avec TPM2 pour renforcer Secure Boot.
Contribuer
Les contributions sont les bienvenues ! Consultez les tickets ouverts et le guide de contribution pour participer. Vous pouvez ouvrir des tickets pour proposer des fonctionnalités et discuter de l’architecture. Les PR générées par IA sans relecture ni test seront fermées, les contributions par le même auteur pourront être bloquées par la suite.
Ce README est en français mais le reste du code est en anglais.
Lancement des tests
Les tests sont basés sur le framework de test NixOS. Ils permettent de lancer sécurix dans une VM puis exécuter des tests sur le comportement de cette VM.
nix-build -A tests
Licences
Sécurix est distribué sous licence MIT. Voir le dossier LICENSES pour plus de détails.
Similar Articles
NixOS and Secrets
A tutorial explaining secrets management options for NixOS, comparing tools like sops-nix, agenix, and ragenix, with practical examples of using sops-nix for encrypted secrets management.
Secret Management on NixOS with sops-nix
A guide on managing secrets in NixOS configurations using sops-nix, covering setup, encryption, and integration with services like Samba.
Show HN: Open-source private home security camera system (end-to-end encryption)
Secluso is an open-source, end-to-end encrypted home security camera system for Raspberry Pi that allows remote access without cloud surveillance. It features a 5-minute setup and reproducible builds.
Nix Flakes and their Guix Equivalents
A detailed comparison between Nix Flakes and their equivalents in the Guix package management system, covering dependency declarations, pinning, purity, outputs, development environments, and system configuration.
QSOE: QNX-inspired OS with dual-kernel architecture
QSOE project v0.1 is released, providing a QNX-compatible operating system with two microkernel variants (custom Skimmer kernel and seL4-based), shared userspace, and support for SiFive Unmatched RISC-V hardware.