A formal model towards scientific workflow security in a cloud
A formal model towards scientific workflow security in a cloud is a scholarly work, published in 2018 in ''International Journal of Cloud Computing''. The main subjects of the publication include Workflow technology, computer security, computer security model, workflow management system, workflow, focus, work, cloud computing, clustered file system, cloud security, scientific workflow system, Formal, and computer science. The paper presents an approach to formal modelling of scientific workflow security in the cloud.