2nd Annual International Conference on Energy, Environmental & Sustainable Ecosystem Development (EESED 2016)

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

Authors
Wei-Hong Wang, Da-Wei Zhang, Bao-Qin Zhao, Su-Hua Han, Fu-Xiang Zhou
Corresponding Author
Wei-Hong Wang
Available Online August 2016.
DOI
https://doi.org/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)

Volume Title
2nd Annual International Conference on Energy, Environmental & Sustainable Ecosystem Development (EESED 2016)
Series
Advances in Engineering Research
Publication Date
August 2016
ISBN
978-94-6252-309-8
ISSN
2352-5401
DOI
https://doi.org/10.2991/eesed-16.2017.48How to use a DOI?
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/).

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  -