Title
A formal model towards scientific workflow security in a cloud.
Abstract
Scientific workflow management systems (SWFMS) may be vulnerable in a cloud since they may have not embraced practical security solutions yet. This paper presents an approach to formal modelling of scientific workflow security in the cloud. We focus on the procedure to build secure data flows in a holistic way. This work also suggests that a whitelist approach to input validation can play a role in protecting the flows from zero-day attacks.
Year
Venue
Field
2018
IJCC
Data validation,Software engineering,Computer science,Whitelist,Access control,Formal methods,Workflow,Workflow management system,Distributed computing,Cloud computing
DocType
Volume
Issue
Journal
7
3/4
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Donghoon Kim122.38
Mladen A. Vouk245249.92