Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications.
Carlos E. Rubio-MedranoAkash KotakWenlu WangKarsten SohrPublished in: SACMAT (2024)
Keyphrases
- formal specification
- artificial intelligence
- access control policies
- access control
- conflict resolution
- formal methods
- model checking
- object oriented design
- security policies
- access control systems
- intelligent systems
- software engineering
- computational intelligence
- knowledge based systems
- trust negotiation
- databases
- database design
- expert systems
- database systems