Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs | IEEE Conference Publication | IEEE Xplore