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.

翻译：本文献综述探讨了形式逻辑系统在网络安全中的具体实现，即通过增强访问控制模型来提升安全性。我们分析了现有访问控制理论的特征、局限性以及经典逻辑在其中应用的方式，进而深入探究利用非经典逻辑系统改进这些模型的可能性。特别地，我们研究了如何运用经典逻辑描述并证明基于角色的访问控制模型和基于属性的访问控制模型的正确性。