Sécurix is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven configurations to ensure operational security and compliance.
Find a file
soyouzpanda 976bbe9d5d
All checks were successful
[Sécurix] Formatting check / reuse_lint (pull_request) Successful in 33s
[Sécurix] REUSE Licensing conformance / reuse_lint (pull_request) Successful in 41s
[Sécurix] Formatting check / reuse_lint (push) Successful in 45s
fix: fix secureboot installation path
2025-04-01 22:26:13 +02:00
.forgejo/workflows ci: fix CI to use nix 2025-04-01 22:20:41 +02:00
examples/basic fix: fix example 2025-04-01 22:24:34 +02:00
hardware fix(hardware): add intel_rapl_common kernel module to x280 2025-03-07 11:04:21 +01:00
lib fix: fix secureboot installation path 2025-04-01 22:26:13 +02:00
LICENSES chore: clean up licence (#22) 2025-03-31 14:07:30 +02:00
modules feat: split users and machines inventories 2025-04-01 22:24:34 +02:00
npins chore: clean up licence (#22) 2025-03-31 14:07:30 +02:00
workflows style: reformat every nix files 2025-03-03 13:01:28 +01:00
.envrc feat: init Securix 2025-02-26 16:47:04 +01:00
.envrc.license feat: init Securix 2025-02-26 16:47:04 +01:00
.gitignore feat: add git commit hooks 2025-03-03 13:01:28 +01:00
default.nix feat: add statix config 2025-03-03 13:01:28 +01:00
npins.license feat: init Securix 2025-02-26 16:47:04 +01:00
README.md feat: init Securix 2025-02-26 16:47:04 +01:00
REUSE.toml ci: fix CI to use nix 2025-04-01 22:20:41 +02:00
shell.nix feat: init Securix 2025-02-26 16:47:04 +01:00
statix.toml feat: add statix config 2025-03-03 13:01:28 +01:00

Sécurix: Base OS sécurisé pour poste d'administration

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

Fonctionnalités en développement (par priorité)

  • Renforcement de la sécurité

  • 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.
  • Support avancé des clés de sécurité

    • Connexion au poste de travail avec Yubikey et le mot de passe ne serait qu'un secours.
    • Gestion et rotation des clés Secure Boot avec TPM2 pour renforcer Secure Boot.

Contribuer

Les contributions sont les bienvenues ! Consultez les issues ouvertes et le guide de contribution pour participer.

Licence

Sécurix est distribué sous licence MIT. Voir le fichier LICENSE pour plus de détails.