  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.
