1. Abie, H.: Adaptive Security for the Internet of Things: Research, Standards, and Practices. 1st edn. Syngress Publishing (2017)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, New York (2008)
3. Fink, G.A., Zarzhitsky, D.V., Carroll, T.E., Farquhar, E.D.: Security and privacy grand challenges for the Internet of Things. In: 2015 International Conference on Collaboration Technologies and Systems (CTS), pp. 27–34, June 2015
4. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Incorporated, Upper Saddle River (1985)
5. Hu, P., Ning, H., Qiu, T., Song, H., Wang, Y., Yao, X.: Security and privacy preservation scheme of face identification and resolution framework using fog computing in Internet of Things. IEEE Int. Things J. 4(5), 1143–1155 (2017)