Newest papers

Auditing the Hand-Written Inputs of Learned Access Control

Arsalan Jalil Sarghaleh, Mehdi Hazrati · 2026 · arXiv

DOI: 10.48550/arXiv.2610.31388 · open-access PDF

Arabic

يتم توزيع التحكم في الوصول المعرفي عادةً خلف اثنين من العناصر التي تم إنشاؤها من قبل: مجموعة من التهديدات الصارمة التي تم اتخاذها من قبل خزانة موثوقة صغيرة، ومجموعة من الخريجين الذين يقررون ما هي الطلبات التي تم إنشاؤها من قواعد الاستجابة و ما هي الاستجابة التي يتناولها المتعلم. ويحقق التحقق من خزانة أو قياس الطلبة أيضًا. ونحن نتحقق في كل من سياسات ABAC Lab العامة الخمسة. أولاً، ونحن نقوم بتأسيس قواعد التهديدات الصارمة والتحقق منها بشكل كامل على علاقات تصل إلى 794,250.

Machine translation (Meta M2M100); the English original follows.

Abstract

Learned access control is typically deployed behind two hand-built artefacts: a hard-deny set enforced by a small trusted shield, and a region map that decides which requests mined rules answer and which the learner answers. Verifying the shield or measuring the learner validates neither. We audit both on the five public ABAC Lab policies. First, we formalise hard-deny soundness and check it exhaustively over relations of up to 794,250 tuples. Clauses that faithfully transcribe an explicit restriction are unsound at rates of 0.50-0.70 across four elicitors - an author and three blind language-

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange