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 on Sailfish X (Sailfish OS for Sony Xperia)
A technical guide on installing the Nix package manager on Sailfish OS for Sony Xperia devices, covering filesystem layout, LVM partitioning, and F2FS considerations.
How I like to install NixOS (declaratively)
A guide on declaratively installing NixOS over the network using tools like nixos-anywhere, with an emphasis on managing configuration files under version control.