Analyse de politiques SELinux

Analyse de politiques SELinux
http://polux.julienthomas.eu



Suite aux différents post sur mon stage dans le cadre du projet polux (http://www.rennes.supelec.fr/polux/), je me suis dit qu'il faudrait que je rajoute du contenu sur la partie SELinux.
(voir les posts : Stage d'été 2007 - projet POLUX, Stage d'été 2007 - projet POLUX - II, Stage d'été 2007 - projet POLUX - III).

Le contenu est en cours, et dans le cadre d'une thèse de mon équipe, je me suis attelé à la modélisation des poliques SELinux des différents services de la maquette POLUX.
Tout cela est aussi disponible sur le site http://polux.julienthomas.eu :

• Apache2, 2.0.2, tresys (images)
• Bind, 1.9.2, tresys (images)
• Courier (IMAP et POP3), 1.7.1, tresys (images)
• DHCP, 1.7.2, tresys (images)
• MySQL, 1.10.3tresys (images)
• OpenLDAP, selinux-openldap-20070329, gentoo (fiche)
• PAM-LDAP, pamldap-1.0, gentoo
• Postfix, 1.10.2, tresys (images)
• SASL, selinux-cyrus-sasl-20070329, gentoo (fiche)

<apparté>
Sinon, j'entends certains me demander "Pourquoi tu n'arrète pas de parler de SELinux !".Eh ben, je répondrais parceque je considère SELinux comme une solution intéressante, prometteuse ... Et à voir le buzz à son sujet, je pense ne pas avoir tord. D'où ces différents posts et aussi un conseil : n'hésitez pas à vous y intéresser ; C'est à mon avis intéressant de connaitre un peu SELinux et le modèleDTE, pour la culture générale (d'un ingenieur) surtout quand on postule sur un job (ou autre) associé à la sécurité informatique.
</apparté>