Formal specification of an access control system

Susan Stepney; Stephen P. Lord

doi:10.1002/spe.4380170903

Formal specification of an access control system

Software Practice and Experience ◽

10.1002/spe.4380170903 ◽

1987 ◽

Vol 17 (9) ◽

pp. 575-593 ◽

Cited By ~ 21

Author(s):

Susan Stepney ◽

Stephen P. Lord

Keyword(s):

Control System ◽

Access Control ◽

Formal Specification ◽

Access Control System

Download Full-text

Access control system based on dual-core digital signal processor and face recognition

Journal of Computer Applications ◽

10.3724/sp.j.1087.2010.02553 ◽

2010 ◽

Vol 30 (9) ◽

pp. 2553-2555

Author(s):

Ke-jin BAO ◽

Cheng YAO

Keyword(s):

Control System ◽

Face Recognition ◽

Access Control ◽

Digital Signal Processor ◽

Digital Signal ◽

Access Control System ◽

Dual Core ◽

Signal Processor

Download Full-text

Analysis of Physical Access Control System for Understanding Users Behavior and Anomaly Detection Using Neo4j

Proceedings of the 6th International Conference on Engineering & MIS 2020 ◽

10.1145/3410352.3410817 ◽

2020 ◽

Author(s):

Emsaieb Geepalla ◽

Salwa Asharif

Keyword(s):

Control System ◽

Access Control ◽

Anomaly Detection ◽

Access Control System ◽

Physical Access

Download Full-text

Access Control System Based on Face Recognition

2020 7th International Conference on Control, Decision and Information Technologies (CoDIT) ◽

10.1109/codit49905.2020.9263894 ◽

2020 ◽

Author(s):

Sergei Shavetov ◽

Vladimir Sivtsov

Keyword(s):

Control System ◽

Face Recognition ◽

Access Control ◽

Access Control System

Download Full-text

Internet of Things Access Control System Based on Hyperledger

Journal of Physics Conference Series ◽

10.1088/1742-6596/1748/4/042031 ◽

2021 ◽

Vol 1748 ◽

pp. 042031

Author(s):

Zheming Yang ◽

Di Shao ◽

Liangyong Qu ◽

Mei Zhang

Keyword(s):

Control System ◽

Internet Of Things ◽

Access Control ◽

Access Control System

Download Full-text

Towards a Decentralized Access Control System for IoT Platforms based on Blockchain Technology

2020 International Symposium on Networks, Computers and Communications (ISNCC) ◽

10.1109/isncc49221.2020.9297174 ◽

2020 ◽

Author(s):

Dana Haj Hussein ◽

Ragunath Anbarasu ◽

Ashraf Matrawy ◽

Mohamed Ibnkahla

Keyword(s):

Control System ◽

Access Control ◽

Blockchain Technology ◽

Access Control System ◽

Iot Platforms

Download Full-text

On speech recognition access control system based on HMM/ANN

2010 3rd International Conference on Computer Science and Information Technology ◽

10.1109/iccsit.2010.5565135 ◽

2010 ◽

Author(s):

Li Bo ◽

Wang Dong-xia ◽

Zou De-jun ◽

Hu Tie-sen

Keyword(s):

Control System ◽

Speech Recognition ◽

Access Control ◽

Access Control System

Download Full-text

Research and Implementation of Access Control System Based on RFID and FNN-Face Recognition

2012 Second International Conference on Intelligent System Design and Engineering Application ◽

10.1109/isdea.2012.400 ◽

2012 ◽

Cited By ~ 3

Author(s):

Xiang Pan

Keyword(s):

Control System ◽

Face Recognition ◽

Access Control ◽

Access Control System

Download Full-text

Design and Research of a Large-Scale Network Access Control System with Hybrid Router Configuration

2008 3rd International Conference on Innovative Computing Information and Control ◽

10.1109/icicic.2008.216 ◽

2008 ◽

Cited By ~ 1

Author(s):

Wei Jiang ◽

Bin-Xing Fang ◽

Zhi-Hong Tian ◽

Hong-Li Zhang

Keyword(s):

Control System ◽

Access Control ◽

Large Scale ◽

Network Access ◽

Large Scale Network ◽

Network Access Control ◽

Scale Network ◽

Access Control System

Download Full-text

NFC smartphone based access control system using information hiding

2013 IEEE Conference on Open Systems (ICOS) ◽

10.1109/icos.2013.6735039 ◽

2013 ◽

Cited By ~ 6

Author(s):

Peng-Loon Teh ◽

Huo-Chong Ling ◽

Soon-Nyean Cheong

Keyword(s):

Control System ◽

Access Control ◽

Information Hiding ◽

Access Control System

Download Full-text

Physical security: Selecting an access control system

Computers & Security ◽

10.1016/0167-4048(89)90102-8 ◽

1989 ◽

Vol 8 (3) ◽

pp. 201-205 ◽

Cited By ~ 2

Author(s):

Belden Menkus

Keyword(s):

Control System ◽

Access Control ◽

Physical Security ◽

Access Control System

Download Full-text