Formalizing workflows partitioning over federated clouds: multi-level security and costs

DOI10.1080/00207160.2013.820282zbMath1452.68120OpenAlexW2059165949MaRDI QIDQ2921900

Leo Freitas, Paul Watson

Publication date: 14 October 2014

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160.2013.820282

zbMATH Keywords

Haskellformal proofBell-Lapadulafederated cloudsZ/EVES

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Haskell
• Z/EVES
• GraphWiz
• Z

Cites Work

• Proving Theorems About JML Classes

This page was built for publication: Formalizing workflows partitioning over federated clouds: multi-level security and costs