Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications
Conference Paper
-
- Overview
-
- Research
-
- Identity
-
- Additional Document Info
-
- Other
-
- View All
-
Overview
name of conference
-
Proceedings of the 29th ACM Symposium on Access Control Models and Technologies
published proceedings
-
Proceedings of the 29th ACM Symposium on Access Control Models and Technologies
author list (cited authors)
-
Rubio-Medrano, C. E., Kotak, A., Wang, W., & Sohr, K.
complete list of authors
-
Rubio-Medrano, Carlos E||Kotak, Akash||Wang, Wenlu||Sohr, Karsten
publication date
publisher
Research
keywords
-
46 Information And Computing Sciences
-
4604 Cybersecurity And Privacy
-
4612 Software Engineering
-
4613 Theory Of Computation
-
Bioengineering
Identity
Digital Object Identifier (DOI)
Additional Document Info
Other
URL
-
http://dx.doi.org/10.1145/3649158.3657032