A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications
作者： Alireza Souri , Monire Norouzi
DOI: 10.1007/S12927-019-0003-8
关键词:
摘要: In recent years, Internet of Things (IoT) has been one the most popular technologies that facilitate new interactions among things and humans to enhance quality life. With rapid development IoT, Industrial enterprise IoT are emerging as an attractive solution for processing applications. On other hand, due guarantee safety-critical conditions without system failures in smart devices, formal verification approaches essential manage evaluate critical reachable status these problems. this paper, a review applications is presented recognize state-of-the-art mechanisms on important topic. The environments compared with each according advantages limitations.
springer.com
sci-hub.se 参考文章(38)
Benjamin Aziz, A Formal Model and Analysis of an IoT Protocol ad hoc networks. ,vol. 36, pp. 49- 57 ,(2016) , 10.1016/J.ADHOC.2015.05.013
Yang Zhang, Jun-liang Chen, Constructing scalable Internet of Things services based on their event-driven models Concurrency and Computation: Practice and Experience. ,vol. 27, pp. 4819- 4851 ,(2015) , 10.1002/CPE.3469
Hyun Jung La, A conceptual framework for trajectory-based medical analytics with IoT contexts Journal of Computer and System Sciences. ,vol. 82, pp. 610- 626 ,(2016) , 10.1016/J.JCSS.2015.10.007
Ruggero Lanotte, Massimo Merro, A Semantic Theory of the Internet of Things international conference on coordination models and languages. ,vol. 259, pp. 72- 101 ,(2018) , 10.1016/J.IC.2018.01.001
Vasily Desnitsky, Igor Kotenko, Automated design, verification and testing of secure systems with embedded devices based on elicitation of expert knowledge Journal of Ambient Intelligence and Humanized Computing. ,vol. 7, pp. 705- 719 ,(2016) , 10.1007/S12652-016-0371-6
Algimantas Venckauskas, Vytautas Stuikys, Robertas Damasevicius, Nerijus Jusas, Modelling of Internet of Things units for estimating security-energy-performance relationships for quality of service and environment awareness Security and Communication Networks. ,vol. 9, pp. 3324- 3339 ,(2016) , 10.1002/SEC.1537
Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen, Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS). pp. 274- 285 ,(2016) , 10.1109/QRS.2016.39
Kun-Hee Han, Woo-Sik Bae, Proposing and verifying a security-enhanced protocol for IoT-based communication for medical devices Cluster Computing. ,vol. 19, pp. 2335- 2341 ,(2016) , 10.1007/S10586-016-0669-3
Yuichi Nishiwaki, F-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W). pp. 198- 203 ,(2016) , 10.1109/FAS-W.2016.51
Parwinder Kaur Dhillon, Sheetal Kalra, A lightweight biometrics based remote user authentication scheme for IoT services workshop on information security applications. ,vol. 34, pp. 255- 270 ,(2017) , 10.1016/J.JISA.2017.01.003