1. Fog computing: Security issues, solutions and robust practices;Abbasi,2017
2. Privacy-preserving fog computing paradigm;Abubaker,2017
3. A privacy-preserving authentication scheme in an edge-fog environment;Amor,2017
4. AVISPA,. Automated validation of internet security protocols and applications. http://www.avispa-project.org/.
5. Ofmc: a symbolic model checker for security protocols;Basin;Int. J. Inf. Secur.,2005