Scholarlink

This paper introduces parametric automata, a novel extension of symbolic automata, designed for specifying dynamic access control policies. We integrated it as an extension to the external access control modules of the Apache web server. We demonstrate that by incorporating parametric variables, we can easily formulate access rules that are challenging to model using symbolic automata or other approaches in the literature.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Parametric Automata for Dynamic Access Control Policies

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Franck Fotso Kuate,
  • Florent Avellaneda,
  • Omer Nguena Timo

摘要

This paper introduces parametric automata, a novel extension of symbolic automata, designed for specifying dynamic access control policies. We integrated it as an extension to the external access control modules of the Apache web server. We demonstrate that by incorporating parametric variables, we can easily formulate access rules that are challenging to model using symbolic automata or other approaches in the literature.