This repository includes my undergraduate essays and theses for the Bachelor of Advanced Computing R&D (Honours) degree.
A project to automate the verification of role-based access control (RBAC) policies in Security-Enhanced Linux (SELinux). We offer a framework to formalise the access control design into formal logic using satisfiability modulo theories (SMT), followed by a parser and translator implementation with Rust and C.
Co-authors: Divyam Pahuja, Klim Tsoutsman
Supervisor: AsPr Alwen Tiu
Resolving the Material Paradox of Implication from the Principle of Explosion in Orthodox Logic with Auxiliary Truth Values is a short essay discovering the application of classical logic and the issues arising from the definition of implication.
An introduction of two additional values is proposed to resolve the problem.
The corresponding LaTeX file is also included.
The research proposal and the literature review discover 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.
Last updated: 2023-11-21