The construction and implementation of security intelligent lock model based on situation calculus

DOI

10.2991/eesed-16.2017.48How to use a DOI?

Keywords

Security intelligence lock; Situation calculus; Mobile intelligence

Abstract

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.

Copyright

© 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/).

Download article (PDF)

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  - 10.2991/eesed-16.2017.48
ID  - Wang2016/08
ER  -