06.09.08

Extrapol, première partie : de C aux effets

Publié dans En français / In French, Enseignement, Extrapol, Informatique / Computer science, OCaml, Recherche / Research, Sûreté / Security tagged , , , , , , , , , , , , , , , , à 5:51 par yoric

Après un billet dans la langue de Turing, voici une présentation d’Extrapol en version française. En quelques mots, le projet Extrapol (pour Extraction de Politiques de Sécurité) vise à combler un vide dans le jeu d’outils dont dispose l’administrateur pour maintenir un système dans un état sûr.

Lisez la suite de cette entrée »