P31 Partition HTTP/TLS pour Pepin : Différence entre versions
m |
|||
| Ligne 17 : | Ligne 17 : | ||
*Intégrer Pépin et le serveur web dans une carte embarqué et tester la solution | *Intégrer Pépin et le serveur web dans une carte embarqué et tester la solution | ||
==Avancement du Projet== | ==Avancement du Projet== | ||
| − | === | + | ===Etudes de l'architecture de Pépin=== |
| + | L'exo-noyau Pépin se situe au dessus de niveau matériel et se constitue d'<code>IAL</code>, de <code>MAL</code>, d'une section <code>BOOT</code> et une section <code>CORE</code>. | ||
| + | |||
| + | {| class="wikitable" style="text-align: center;" | ||
| + | |- | ||
| + | ! rowspan="2" | User space | ||
| + | | colspan="4" style="text-align: center;" | Les différentes partitions | ||
| + | |- | ||
| + | | colspan="4" style="text-align: center;" | Multiplexeur | ||
| + | |- | ||
| + | ! Kernel space | ||
| + | | style="text-align: center;" | IAL | ||
| + | | style="text-align: center;" | MAL | ||
| + | | style="text-align: center;" | Boot | ||
| + | | style="text-align: center;" | Core | ||
| + | |- | ||
| + | | colspan="5" | Matériel (Hardware) | ||
| + | |} | ||
| + | |||
| + | *IAL: sert à la gestion de communication avec le processeur | ||
| + | *MAL: sert à l agestion de communication avec le processeur | ||
| + | *BOOT: contient le code pour démarrer Pépin | ||
| + | *CORE: contient le code de fonctionnement de Pépin | ||
| + | *Multiplexeur: sert à démarrer et partitionner l'espace mémoire | ||
| + | |||
| + | ===Identification d'un serveur web adapté pour Pépin=== | ||
| + | ===Adaptation de code de serveur web pour Pépin=== | ||
| + | ===Intégration de la solution dans la carte Intel Galileo=== | ||
Version du 11 octobre 2016 à 18:12
Cahier des charges
Présentation générale du projet
Contexte
L’équipe 2XS (eXtra Small, eXtra Safe) de l’IRCICA en train de développer un exo-noyau qui a une architecture plus simple (donc plus sécurisé) qu’un noyau monolithique. Ce type d’architecture fonctionne plutôt dans l’espace utilisateur que l’espace noyau ce qui permet d’éliminer l’abstraction d’un système d’exploitation. Ceci permet l’interaction plus direct avec les matériels.
Description du projet
Pépin (ou PIP) est l’exo-noyau développé par l’équipe dans le but de créer un système qui isole complètement les partitions de mémoire selon un modèle hiérarchique : une partition peut contenir des sous-partitions (qui peuvent elles-mêmes contenir des sous-sous-partitions). Cette isolation de mémoire garantit un niveau de sécurité élevée car les partitions de même niveau (dans la hiérarchie) ne peuvent pas communiquer entre elles.
Objectif du projet
L’intérêt de ce projet est de développer une partition qui s’exécutent au-dessus de Pépin qui héberge un serveur web et implémente un protocole d’échange sécurisé de type TLS-PSK. Pour cela, il faut adapter un serveur web existant afin de pouvoir le porter au Pépin.
Choix techniques : matériel et logiciel
Pour le développement de la partition de serveur web, on utilise le langage C et assembleur (si besoin). Pour tester le système, on l’implémente dans une carte embarquée ayant l’architecture x86 (ie : Intel Galileo).
Etapes du projet
- Etudier l'architecture de Pépin
- Identifier une solution existante de serveur web qui peut être adapté pour le système
- Adapter le code du serveur web pour pouvoir utiliser avec Pépin
- Intégrer Pépin et le serveur web dans une carte embarqué et tester la solution
Avancement du Projet
Etudes de l'architecture de Pépin
L'exo-noyau Pépin se situe au dessus de niveau matériel et se constitue d'IAL, de MAL, d'une section BOOT et une section CORE.
| User space | Les différentes partitions | |||
|---|---|---|---|---|
| Multiplexeur | ||||
| Kernel space | IAL | MAL | Boot | Core |
| Matériel (Hardware) | ||||
- IAL: sert à la gestion de communication avec le processeur
- MAL: sert à l agestion de communication avec le processeur
- BOOT: contient le code pour démarrer Pépin
- CORE: contient le code de fonctionnement de Pépin
- Multiplexeur: sert à démarrer et partitionner l'espace mémoire
