Fog Computing Over IoT: A Secure Deployment and Formal Verification.
Samman ZahraMasoom AlamQaisar JavaidAbdul WahidNadeem JavaidSaif Ur Rehman MalikMuhammad Khurram KhanPublished in: IEEE Access (2017)
Keyphrases
- formal verification
- model checking
- model checker
- cryptographic protocols
- automated verification
- bounded model checking
- symbolic model checking
- key management
- management system
- single image
- cloud computing
- access control
- weather conditions
- security issues
- security protocols
- formal specification
- temporal logic
- artificial intelligence
- program slicing