Loïc Miller
Loïc Miller
Home
Publications
Talks
Research
Teaching
Contact
Light
Dark
Automatic
Rego
Securing Workflows Using Microservices and Metagraphs
Companies such as Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships …
Loïc Miller
,
Pascal Mérindol
,
Antoine Gallais
,
Cristel Pelsser
PDF
Cite
DOI
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 …
Sep 22, 2021 16:30 — 17:00
La Rochelle
Loïc Miller
,
Pascal Mérindol
,
Antoine Gallais
,
Cristel Pelsser
Slides
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
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 …
Loïc Miller
,
Pascal Mérindol
,
Antoine Gallais
,
Cristel Pelsser
PDF
Cite
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
Cite
×