PD Dr. Karsten Sohr
Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications. In Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, SACMAT ’24, [...] Rubio-Medrano. Towards Effective Verification of Multi-Model Access Control Properties. In Proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT 2019), Toronto, Canada [...] Role-based Access Control Models and Mechanisms , Technical Report No. 51, TZI at the Universität Bremen, 2009. S. Bartsch, K. Sohr, C. Bormann. Supporting Agile Development of Authorisation Rules for SME