A formal model towards scientific workflow security in a cloud.
Donghoon KimMladen A. VoukPublished in: Int. J. Cloud Comput. (2018)
Keyphrases
- formal model
- scientific workflows
- security properties
- security patterns
- cloud computing
- service oriented
- security issues
- access control
- intrusion detection
- information security
- web services
- workflow systems
- security requirements
- security analysis
- scientific data
- formal models
- semantic annotation
- security policies
- network security
- query processing