Title :
Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs
Author :
Freitas, Leo ; Watson, Paul
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
Abstract :
We present an abstract formalisation of federated cloud workflows using the Z notation. Various properties of interest are observed in the possible deployments symbolically calculated by the Z/EVES theorem prover. These properties are defined using rules restricting valid options in various categories like security, cost, dependability, etc.
Keywords :
cloud computing; security of data; specification languages; theorem proving; Z notation; Z/EVES theorem prover; abstract formalisation; federated cloud workflows; multilevel security; workflows partitioning; Abstracts; Cloud computing; Data models; Mathematical model; Radio access networks; Security; Federated Clouds; Formal proof; Security;
Conference_Titel :
Services (SERVICES), 2012 IEEE Eighth World Congress on
Conference_Location :
Honolulu, HI
Print_ISBN :
978-1-4673-3053-4
DOI :
10.1109/SERVICES.2012.75
