Parametric Automata for Dynamic Access Control Policies. - Franck Fotso Kuate; Florent Avellaneda; Omer Nguena Timo (FPS (1), 2024)