Un système de fichiers virtuel sépare chemins logiques et stockage réel. La résolution doit appliquer les droits, y compris face aux traversées de chemin.
CONCEPT GENOS · RUNTIME ET INFRASTRUCTURE
Système de fichiers virtuel
dans GenOS.
Un système de fichiers virtuel sépare chemins logiques et stockage réel. La résolution doit appliquer les droits, y compris face aux traversées de chemin.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Résoudre p vers ressource r si r appartient à racine autorisée R et politique(acteur,opération,r)=autoriser ; refuser toute sortie de R.
Ce modèle explique le principe. Son implémentation et ses preuves sont décrites dans la source GenOS versionnée ; l'analogie scientifique ne les valide pas.
SCHÉMA ANIMÉ · MODÈLE INTERACTIF
01 / 03Explorer le mécanisme: Système de fichiers virtuel
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Résoudre le chemin virtuelENTRÉE
02Appliquer la frontière d'accèsMÉCANISME
03Lire ou écrire le stockageISSUE SOUS CONDITIONS
Transition en cours · Étape 1Résoudre le chemin virtuel
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
ÉTAPES PROPRES AU CONCEPT
Du signal
au résultat.
Résoudre le chemin virtuel
Un système de fichiers virtuel sépare chemins logiques et stockage réel. La résolution doit appliquer les droits, y compris face aux traversées de chemin.
Appliquer la frontière d'accès
Résoudre p vers ressource r si r appartient à racine autorisée R et politique(acteur,opération,r)=autoriser ; refuser toute sortie de R.
Lire ou écrire le stockage
Pour Système de fichiers virtuel, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.
RECHERCHE PRIMAIRE · MÉCANISME
Sources et
limites.
The protection of information in computer systems
Jerome H. Saltzer and Michael D. Schroeder · Proceedings of the IEEE 63(9), 1278–1308
Recherche primaire sur principes de protection des systèmes. Elle éclaire l'analogie avec Système de fichiers virtuel, sans valider l'implémentation GenOS.
Ouvrir la source ↗Ces références expliquent le mécanisme ou la technologie d'origine ; elles ne constituent pas une preuve de fonctionnement de GenOS.
IMPLÉMENTATION ET PREUVES
Vérifier la portée de Système de fichiers virtuel.
Le schéma animé est pédagogique. La fiche source versionnée décrit l'implémentation ; les statuts ci-dessous indiquent sa maturité sans déduire un fonctionnement réel de l'analogie scientifique.
Implémentation : partielIntégration : raccordéePreuve : tests d'intégrationSource GenOS versionnée ↗Code : backend/src/services/sandboxExecutor.js ↗Code : backend/tests/test_aeis_sandbox.js ↗