A Framework for Decentralized Physical Access Control using Finite State Automata

DOI10.1142/9789814271059_0006zbMath1257.93069OpenAlexW2403486423MaRDI QIDQ4907858

Namit Chaturvedi, B. Meenakshi, Atish Datta Chowdhury

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 automatasmart cardsnetworked controllersphysical access control

Mathematics Subject Classification ID

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

Uses Software

• MONA

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