Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications-Reference-Cited by-同舟云学术

Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications

Published:2024-06-24 Issue: Volume:65 Page:105-116
ISSN:
Container-title:Proceedings of the 29th ACM Symposium on Access Control Models and Technologies
language:
Short-container-title:

Author:

Rubio-Medrano Carlos E.¹^ORCID,Kotak Akash²^ORCID,Wang Wenlu¹^ORCID,Sohr Karsten³^ORCID

Affiliation:

1. Texas A&M University - Corpus Christi, Corpus Christi, TX, USA

2. Texas A&M University - Corpus Christi, Corpus Christi, Texas, USA

3. Universität Bremen, Bremen, Germany

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3649158.3657032

Reference42 articles.

1. Reed Albergotti and Louise Matsakis. 2023. Openai has hired an army of contractors to make basic coding obsolete. Semafor. https://www.semafor.com/art icle/01/27/2023/openai-has-hired-an-army-of-contractors-to-make-basic-c oding-obsolete. [Online; accessed June-9--2023]. (2023).

2. Bernhard Beckert Oliver Denninger Jonas Klamroth Max Scheerer and Jöerg Henß. 2023. Formal Verification of Complex Software Systems-A Study. Agentur für Innovation in der Cybersicherheit GmbH (Ed.) https://www.cyberagen tur.de/wp-content/uploads/2023/07/OevIT-Vorstudien-Los-1.pdf. (2023).

3. Thorsten Brants, Ashok C. Popat, Peng Xu, Franz J. Och, and Jeffrey Dean. 2007. Large language models in machine translation. In Proc. of the 2007 Joint Conf. on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL). Prague, Czech Republic, (June 2007), 858--867.

4. An overview of JML tools and applications1 1www.jmlspecs.org

5. Xinyun Chen Maxwell Lin Nathanael Schärli and Denny Zhou. 2023. Teaching large language models to self-debug. arXiv preprint arXiv:2304.05128.