A Framework for Decentralized Physical Access Control using Finite State Automata

DOI10.1142/9789814271059_0006MaRDI QIDQ4907858zbMATH OpenOpenAlexFDO

Authors Namit Chaturvedi, Atish Datta Chowdhury, B. Meenakshi

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814271059_0006

zbMATH Keywords

finite state automatanetworked controllersphysical access controlsmart cards

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• An abstract dynamic access control architecture
• A framework proposal for fine grained access control
• Dynamic access control model for pervasive computing

Cited in

(4)

• ICAF: a context-aware framework for access control
• Access nets: modeling access to physical spaces
• Centralized control system for entry into buildings
• Information Security

Describes a project that uses

Uses Software

• MONA

This page was built for publication: A Framework for Decentralized Physical Access Control using Finite State Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907858)