Analysis of Physical Access Control policies
Physical access controls, such as door locks, surveillance cameras, alarms and supervised access, provide points of demarcation between physical zones. A Physical Access Control system uses these controls to regulate physical access according an enterprise security policy. This project investigates the formal specification and analysis of these policies.
Publications
- Turkmen, F., Foley, S. N., O’Sullivan, B., Fitzgerald, W. M., Hadzic, T., Basagiannis, S., & Boubekeur, M. (2013). Explanations and Relaxations for Policy Conflicts in Physical Access Control. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013 (pp. 330–336). https://doi.org/10.1109/ICTAI.2013.57 [link]
- Fitzgerald, W. M., Turkmen, F., Foley, S. N., & O’Sullivan, B. (2012). Anomaly analysis for Physical Access Control security configuration. In F. Martinelli, J.-}L. Lanet, W. M. Fitzgerald, & S. N. Foley (Eds.), 7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012 (pp. 1–8). {IEEE} Computer Society. https://doi.org/10.1109/CRISIS.2012.6378953 [link]