Robustness, Security and Privacy in Location-Based Services for Future IoT: A Survey

Chen, Liang; Thombre, Sarang; Järvinen, Kimmo; Lohan, Elena Simona; Alén-Savikko, Anette Katariina; Leppäkoski, Helena; Bhuiyan, Mohammad Zahidul H.; Bu‐Pasha, Shakila; Ferrara, Giorgia; Honkala, Salomon; Lindqvist, Jenna; Ruotsalainen, Laura; Korpisaari, Päivi; Kuusniemi, Heidi

doi:10.1109/access.2017.2695525

Cited by 270 publications

(131 citation statements)

References 104 publications

Supporting

Mentioning

115

Contrasting

Unclassified

Order By: Relevance

“…Robustness for terrestrial IoT networks is well-studied from different perspectives. For example, form localization aspect, detailed discussion about the robustness in terrestrail IoT can be found in [173]. The literature on robustness for underground networks is only limited to the mining application.…”

Section: G Robustnessmentioning

confidence: 99%

Toward the Internet of Underground Things: A Systematic Survey

Saeed

Alouini

Al-Naffouri

2019

IEEE Commun. Surv. Tutorials

101

View full text Add to dashboard Cite

This paper provides recent advances in the area of Internet of Underground Things (IoUT) with emphasis on enabling communication technologies, networking issues, and localization techniques. IoUT is enabled by underground things (sensors), communication technology, and networking protocols. This new paradigm of IoUT facilitates the integration of sensing and communication in the underground environment for various industries, such as oil and gas, agriculture, seismic mapping, and border monitoring. These applications require to gather relevant information from the deployed underground things. However, the harsh underground propagation environment including sand, rock, and watersheds do not allow the use of single communication technology for information transfer between the surface and the underground things. Therefore, various wireless and wired communication technologies are used for underground communication. The wireless technologies are based on acoustic waves, electromagnetic waves, magnetic induction and visible light communication while the wired technologies use coaxial cable and optical fibers. In this paper, state-of-art communication technologies are surveyed, and the respective networking and localization techniques for IoUT are presented. Moreover, the advances and applications of IoUT are also reported. Also, new research challenges for the design and implementation of IoUT are identified.

show abstract

Section: G Robustnessmentioning

confidence: 99%

Toward the Internet of Underground Things: A Systematic Survey

Saeed

Alouini

Al-Naffouri

2019

IEEE Commun. Surv. Tutorials

101

View full text Add to dashboard Cite

show abstract

“…[13][14][15] The service composition as the NP-complete problem is evaluated using different methods such as computational knowledge methods, statistical testing, and operational research in communication systems. 5,16,17 Since formal verification can be used to evaluate the complex communication systems and NP-complete problems, 18 recent research studies have analyzed proposed methods using formal verification methods 19 in forms of model checking, [20][21][22][23][24][25][26][27] process algebra, 8,[28][29][30][31] and theorem proving [32][33][34] methods. In other hand, formal verification method is an essential issue in the complex communication systems development such as cloud computing, 35 SDN, WSN, 36,37 and IoT.…”

Section: Introductionmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

Summary Today, service composition is emerging paradigm on the communication networks such as cloud environments, internet of things, wireless sensor network, and software‐defined network. The goal of service composition method is to provide the interactions between user requirements and smart objects of intelligent communication systems. There have been many efforts to use formal verification and behavioral modeling methods to evaluate the service composition mechanisms. Up to now, there is not a comprehensive analysis research on this topic. Therefore, this paper focuses on several formal verification approaches that are performed to confirm the service composition correctness in communication networks. The objective of this paper is to comprehensively categorize and examine current research techniques on formal verification of the service composition. This research analysis provides an overview of recent service composition approaches according to structural and functional properties. Comparison results show that most of the verification approaches in explanation of the service composition correctness are semantic‐aware approach with 43%. The most used verification method for the service composition is model checking with 69%. The process algebra is used 29%, and some theorem proving methods are applied in 9% of the investigated mechanism. Moreover, most widely used modeling tools are NuSMV (22%), SPIN (17%), CPN (12%), UPPAAL (12%), Event‐B (10%), and PAT (5%).

show abstract

“…Although many studies have already conducted surveys on IoT, some survey papers primarily focused on the service aspect of IoT. Moreover, surveys in [3][4][5][6][7] present results on each focused subject. Nevertheless, many papers consider to maintain the legacy network infrastructure, since the modification of existing network infrastructure costs highly.…”

Section: Introductionmentioning

confidence: 99%

Future of IoT Networks: A Survey

2017

View full text Add to dashboard Cite

Abstract:The introduction of mobile devices has changed our daily lives. They enable users to obtain information even in a nomadic environment and provide information without limitations. A decade after the introduction of this technology, we are now facing the next innovation that will change our daily lives. With the introduction of the Internet of Things (IoT), our communication ability will not be restricted to only mobile devices. Rather, it will expand to all things with which we coexist. Many studies have discussed IoT-related services and platforms. However, there are only limited discussions about the IoT network. In this paper, we will thoroughly analyze the technical details about the IoT network. Based on our survey of papers, we will provide insight about the future IoT network and the crucial components that will enable it.

show abstract

Robustness, Security and Privacy in Location-Based Services for Future IoT: A Survey

Cited by 270 publications

References 104 publications

Toward the Internet of Underground Things: A Systematic Survey

Toward the Internet of Underground Things: A Systematic Survey

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Future of IoT Networks: A Survey

Contact Info

Product

Resources

About