Checking Security Properties of Cloud Service REST APIs.
Vaggelis AtlidakisPatrice GodefroidMarina PolishchukPublished in: ICST (2020)
Keyphrases
- security properties
- cloud services
- cloud computing
- security requirements
- formal model
- security analysis
- security protocols
- service providers
- computing resources
- virtual machine
- lightweight
- mobile services
- cryptographic protocols
- open source
- source code
- formal methods
- information systems
- data center
- information security
- cost effective