T-YUN: Trustworthiness Verification and Audit on the Cloud Providers.
Chuanyi LiuJie LinBinxing FangPublished in: IEICE Trans. Inf. Syst. (2013)
Keyphrases
- cloud computing
- cloud services
- service providers
- intrusion detection
- model checking
- data mining techniques
- formal verification
- service level agreements
- end users
- face verification
- signature verification
- verification method
- formal analysis
- computing resources
- distributed systems
- internet access
- formal methods
- knowledge discovery
- real time