An independent verification of errors and vulnerabilities in SaaS cloud.
Rajeshwari GanesanSantonu SarkarNaveen TewariPublished in: DSN Workshops (2012)
Keyphrases
- cloud computing
- private cloud
- cloud services
- security issues
- multi tenant
- data center
- cost effective
- model checking
- computing resources
- face verification
- neural network
- formal verification
- countermeasures
- business models
- information security
- service providers
- information systems
- map reduce
- end users
- data sets
- incident management