Policy modeling

Policy Verification Using Metagraphs
Business processes can be modeled as workflows, where the owner of the data at risk interacts with contractors to realize a sequence of …
Aug 31, 2021 17:15 — 17:35 Bertinoro
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
Slides
Verification of Cloud Security Policies
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with …
Jun 8, 2021 17:00 — 17:15 Paris
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
Slides
Verification of Cloud Security Policies
Companies like Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with …
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
PDF Cite Slides DOI