Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review

TL;DR

This literature review examines how formal logic systems, especially non-classical logics, can improve access control models in cybersecurity by addressing limitations of classical logic-based approaches.

Contribution

It highlights the potential of non-classical logic systems to enhance access control models beyond traditional classical logic frameworks.

Findings

Classical logic is used to describe and verify access control models.

Limitations of classical logic in access control are identified.

Potential of non-classical logic systems for improving security models is explored.

Abstract

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.