Fog Computing Over IoT: A Secure Deployment and Formal Verification

Fog Computing Over IoT: A Secure Deployment and Formal Verification

Fog computing, being an extension to cloud computing has addressed some issues found in cloud computing by providing additional features, such as location awareness, low latency, mobility support, and so on. Its unique features have also opened a way toward security challenges, which need to be focu...

Full description

Bibliographic Details
Main Authors: Samman Zahra, Masoom Alam, Qaisar Javaid, Abdul Wahid, Nadeem Javaid, Saif Ur Rehman Malik, Muhammad Khurram Khan
Format: Article
Language:English
Published: IEEE 2017-01-01
Series:IEEE Access
Subjects:
IoT
fog computing
shibboleth
HLPN
verification
Z3
Online Access:https://ieeexplore.ieee.org/document/8118288/

Internet

https://ieeexplore.ieee.org/document/8118288/

Similar Items