Date of Graduation


Document Type


Degree Name

Master of Science in Computer Engineering (MSCmpE)

Degree Level



Computer Science & Computer Engineering


Jia Di

Committee Member

Alexander Nelson

Second Committee Member

Brajendra Panda


Access, Control, hardware detection, Policy, Model


Access Control (AC) is a widely used security measure designed to protect resources and infrastructure in an information system. The integrity of the AC policy is crucial to the protection of the system. Errors within an AC policy may cause many vulnerabilities such as information leaks, information loss, and malicious activities. Thus, such errors must be detected and promptly fixed. However, current AC error detection models do not allow for real-time error detection, nor do they provide the source of errors. This thesis presents a live error detection model called LogicDetect which utilizes emulated Boolean digital logic circuits to provide continual feedback and error source identification. The outcome is a new error detection model allowing policy creators to identify the source of errors quickly and accurately at any stage during policy creation.