Projects per year
This paper presents an formalization of federated cloud workflows using the Z notation. It is an abstract specification with properties of interest being observed by the possible deployments, which are symbolically calculated by the Z/EVES theorem prover. Mathematical rules are used to define these properties by restricting valid options for security, cost, dependability, etc. A Haskell implementation of these proved properties is also presented. We have a Haskell implementation of the approach that is used to generate valid workflow deployment options, given the user workflow input and the security and cost properties of interest. The result is a set of (sub)-workflows as GraphWiz files respecting these properties.
- Bell--LaPadula, Haskell, Z/EVES, federated clouds, formal proof
FingerprintDive into the research topics of 'Formalizing Workflows Partitioning over Federated Clouds: Multi-level Security and Costs'. Together they form a unique fingerprint.
- 1 Finished