Research Article
Context-Aware Mobility Based on -Calculus in Internet of Thing: A Survey
@INPROCEEDINGS{10.1007/978-3-030-34365-1_4, author={Vu Tuan Anh and Pham Cuong and Phan Cong Vinh}, title={Context-Aware Mobility Based on -Calculus in Internet of Thing: A Survey}, proceedings={Context-Aware Systems and Applications, and Nature of Computation and Communication. 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings}, proceedings_a={ICCASA \& ICTCC}, year={2019}, month={12}, keywords={IoT IoMT Pi-calculus}, doi={10.1007/978-3-030-34365-1_4} }- Vu Tuan Anh
Pham Cuong
Phan Cong Vinh
Year: 2019
Context-Aware Mobility Based on -Calculus in Internet of Thing: A Survey
ICCASA & ICTCC
Springer
DOI: 10.1007/978-3-030-34365-1_4
Abstract
Nowadays, the computing is becoming faster and faster to support very other scientific areas. Internet of Thing (IoT) is taking much advantage from it. At the beginning of IoT, the static things joined in IoT such as: cameras, sensors, and vending machines. Due to the progress of computing science, IoT is expanding on mobile things such as cars, patients, cellphones and other mobile things for traffic controlling, health care, or getting information. The network of mobile things is called as Internet of Mobile Things (IoMT). There are some problems to be solved in IoMT as: Security and Privacy, Mobile Data Collection and Analysis. The data collected from the mobile things can help to improve the security and privacy better, or using for special purposes. To get the data of mobile things, moved from one cluster to another one, we need an algorithm to solve following things: mobility of mobile nodes, and changing in number of the mobile nodes. The pi-calculus is one solution for this problem. Pi-calculus is introduced by Milner as a formal language for modeling and verifying system requirements. In this paper, a survey is performed on pi-calculus for IoMT, and other related calculi.