A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations.
Salwa SouafPascal BerthoméFrédéric LoulerguePublished in: HPCS (2018)
Keyphrases
- formal methods
- cloud computing
- cloud storage
- cloud computing environment
- security properties
- virtual machine
- cloud services
- development lifecycle
- network security
- formal specification
- safety critical
- formal analysis
- machine learning
- data center
- mobile commerce
- information security
- intrusion detection
- access control
- process algebra
- distributed systems