Fog Computing Over IoT: A Secure Deployment and Formal Verification
The Internet of Things - promise for the future? An introduction