Modélisation de politiques de sécurité à l'aide d'une algèbre de processus.