The construction and implementation of security intelligent lock model based on situation calculus
- https://doi.org/10.2991/eesed-16.2017.48How to use a DOI?
- Security intelligence lock; Situation calculus; Mobile intelligence
Aiming at the problem that it lacks the effective logic verification model on the security and control mechanism of intelligent lock, this paper proposed a novel security intelligent lock model based on situation calculus, named SILM-SC. Firstly, based on the research and application about the security intelligence lock, and integrated the demands on security and mobility, the logic process of security intelligent lock is deeply discussed. Subsequently, SILM-SC is established according to the logic process, and it fully considers the practical needs of the users and draws on the logical thinking of the situation calculus to make up for the lack of logic verification of security intelligent lock. Finally, according to the model, the security intelligence lock is set up, and the security of the model is proved by scientific test.
- © 2017, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Wei-Hong Wang AU - Da-Wei Zhang AU - Bao-Qin Zhao AU - Su-Hua Han AU - Fu-Xiang Zhou PY - 2016/08 DA - 2016/08 TI - The construction and implementation of security intelligent lock model based on situation calculus BT - 2nd Annual International Conference on Energy, Environmental & Sustainable Ecosystem Development (EESED 2016) PB - Atlantis Press SP - 351 EP - 356 SN - 2352-5401 UR - https://doi.org/10.2991/eesed-16.2017.48 DO - https://doi.org/10.2991/eesed-16.2017.48 ID - Wang2016/08 ER -