Fog Computing Over IoT: A Secure Deployment and Formal Verification
Towards a Formal Foundation of Web Security