跳到正文
arXiv· Arsalan Jalil Sarghaleh·· 8 天前推荐指数56

审计学习型访问控制的手写输入构件

Auditing the Hand-Written Inputs of Learned Access Control

AI 导读

论文对学习型访问控制背后的两个手写构件——硬拒绝集与区域映射——进行审计,在五个公开 ABAC Lab 策略上形式化硬拒绝健全性并对多达 794,250 元组的关系做穷举检查。

来源:arXiv · arxiv.org