Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review. (arXiv:2308.12983v1 [cs.LO])

This literature review discovers an implementation of formal logic systems in
cyber security by enhancing access control models. We explore the
characteristics of the existing access control theories, their limitations and
how classical logic is used therein. We then delve into the possibility of
utilising non-classical logic systems for improving the models. In particular,
we explore how classical logic can be used to describe and prove the
correctness of role-based access control and attribute-based access control
models.

access access control control cyber cyber security implementation literature logic non review security systems