Zhen Xu

LitroACP: A Lightweight and Robust Framework for Extracting Access Control Policies from Specifications

Yanqiu Zhang, Zhen Xu, and Dongdong Huo

Track: CAiSE 2025 - Main

Section: Security