Attributbaserad åtkomstkontroll (ABAC) ger tillgång till tjänster baserat på de attribut som begäraren har. ABAC skiljer sig således från den traditionella modellen för diskretionär åtkomstkontroll genom att ersätta ämnet med en uppsättning attribut och objektet med en uppsättning tjänster i åtkomstkontrollmatrisen. Det förstnämnda är lämpligt i ett identitetslöst system som Internet där ämnen identifieras med hjälp av deras egenskaper, t.ex. sådana som stöds av certifikat. Dessa kan modelleras som attributuppsättningar. Det senare är lämpligt eftersom de flesta Internetanvändare inte har möjlighet att använda metodnamn som finns på fjärrservrar. Dessa kan modelleras som uppsättningar av servicealternativ. Vi presenterar ett ramverk som modellerar denna aspekt av åtkomstkontroll med logik programmering med bestämda begränsningar av en beräkningsbar uppsättning teori [DPPR00]. Vår ram specificerar politik som stratifierad begränsning flundrafri logik program som medger primitiv rekursion. Utformningen av ramverket för policyspecifikation säkerställer att de är konsekventa och fullständiga. Våra ABAC-policyer kan omvandlas för att säkerställa snabbare körtider.
Wang et al REF föreslår ett ramverk som modellerar ett attributbaserat tillträdeskontrollsystem med hjälp av logisk programmering med bestämda begränsningar av en beräkningsbar uppsättning teori.
A logic-based framework for attribute based access control
{'venue': "FMSE '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}