La modélisation des politiques de contrôle d’accès et les contraintes de sécurité ont comme objectif de décrire les aspects des différentes exigences de sécurité à un niveau d'abstraction plus élevé. Elle offre un cadre ...