Policy language and state machine model for dynamic authorization in physical access control

摘要

An automaton capable of providing an access control decision upon receiving an access control request is produced by processing context based access control policies specified in a formal descriptive language, and by converting the context based access control policies to the automaton.