TY  - RPRT
TI  - FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs
AU  - Yifan Zhang
AU  - Xinkui Zhao
AU  - Sai Liu
AU  - Hengxuan Lou
AU  - Guanjie Cheng
AU  - Chang Liu
PY  - 2026
UR  - https://arxiv.org/abs/2607.27267
ID  - 2607.27267
ER  -