Securing Workflows Using Microservices and Metagraphs

Loïc Miller (1) , Pascal Mérindol (1) , Antoine Gallais (2) , Cristel Pelsser (1)

1 ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
2 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201

Companies such as Netflix increasingly use the cloud to deploy their business processes. Those processes often involve partnerships with other companies, and can be modeled as workflows where the owner of the data at risk interacts with contractors to realize a sequence of tasks on the data to be secured. In this paper, we first show how those workflows can be deployed and enforced while preventing data exposure. Second, this paper provides a global framework to enable the verification of workflow policies. Following the principles of zero-trust, we develop an infrastructure using the isolation provided by a microservice architecture to enforce owner policy. We implement a workflow with our infrastructure in a publicly available proof of concept. This work allows us to verify that the specified policy is correctly enforced by testing the deployment for policy violations, and find the overhead cost of authorization to be reasonable for the benefits. In addition, this paper presents a way to verify policies using a suite of tools transforming and checking policies as metagraphs. It is evident from the results that our verification method is very efficient regarding the size of the policies. Overall, this infrastructure and the mechanisms that verify the policy is correctly enforced, and then correctly implemented, help us deploy workflows in the cloud securely.

Mots clés: Access control; Authorization; Data leak; Metagraphs; Microservices; Policy verification; Rego; Workflow; Yawl; data leak; workflow; microservices; authorization; access control; policy verification; metagraphs; yawl; rego

Domaines: Informatique [cs]

Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser. Securing Workflows Using Microservices and Metagraphs. Electronics, 2021, 10 (24), pp.3087. ⟨10.3390/electronics10243087⟩. ⟨hal-03709704⟩