Access control

De l’Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité
Les processus métier multi-agents aux interactions complexes sont généralement modélisés en tant que workflows. Le propriétaire des …
L. Miller, P. Merindol, A. Gallais, C. Pelsser
PDF Cite URL
Verification of Cloud Security Policies
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with …
L. Miller, P. Merindol, A. Gallais, C. Pelsser
PDF Cite URL
Verification of Cloud Security Policies