D'apres un article du Monde Informatique, SELinux ne sera certifié que de niveau 4.
je crois qu'il ne faut pas oublier qu'on part ici sur quelque chose de totallement different, dans sa conception même.
Il est probable que cet OS integrera SElinux. Ceci dit sa caracteristique fondamentale semble surtout être la virtualisation. Ce qui me semble-t-il, pour du Linux serait une vrai nouveauté, certe déjà dans les starting blocs mais enfin encore virtuelle (je pense à UML qui est surtout destiné au débugage du noyau, je pense également à plusieurs journaux que j'ai lu ici).
Enfin la nouveauté principale réside dans le choix d'une methode semi-formelle, ce qui ne changera peut-être pas grand chose au résultat final, si ce n'est (si j'ai bien compris ce qui ce disait plus haut) : une absence de bugs mathematiquement prouvée. Ça aussi c'est nouveau.
[^] # Re: Mandrake n'est pas seul
Posté par Joris Dedieu (site web personnel) . En réponse à la dépêche Mandrakesoft retenue pour le développement d'un système d'exploitation ouvert de haute sécurité. Évalué à 5.
je crois qu'il ne faut pas oublier qu'on part ici sur quelque chose de totallement different, dans sa conception même.
Il est probable que cet OS integrera SElinux. Ceci dit sa caracteristique fondamentale semble surtout être la virtualisation. Ce qui me semble-t-il, pour du Linux serait une vrai nouveauté, certe déjà dans les starting blocs mais enfin encore virtuelle (je pense à UML qui est surtout destiné au débugage du noyau, je pense également à plusieurs journaux que j'ai lu ici).
Enfin la nouveauté principale réside dans le choix d'une methode semi-formelle, ce qui ne changera peut-être pas grand chose au résultat final, si ce n'est (si j'ai bien compris ce qui ce disait plus haut) : une absence de bugs mathematiquement prouvée. Ça aussi c'est nouveau.
l'article du Monde :
http://www.weblmi.com/news_store/2004_09_24_MandrakeSoft_partici_2/(...)