Abstrakt. Vi visar hur åtkomstkontrollmodeller och policyer kan representeras genom att använda termen omskrivningssystem, och hur omskrivning kan användas för att utvärdera åtkomstförfrågningar och för att bevisa egenskaper hos en åtkomstkontrollpolicy. Vi fokuserar på två typer av passerkontrollmodeller: diskretionära modeller baserade på accesskontrolllistor (ACL) och rollbaserade passerkontrollmodeller (RBAC). För RBAC-modeller visar vi att vi kan specificera flera varianter, inklusive modeller med rollhierarkier, och begränsningar och stöd för säkerhetsadministratörsgranskning.
Deras modell representeras som en term omskrivning system REF, som gör det möjligt att specificera ändrade och dynamiska åtkomst styrpolicyer.
Term Rewriting for Access Control
{'venue': 'DBSec', 'journal': None, 'mag_field_of_study': ['Computer Science']}