Sammanfattning Nyligen XACML är ett populärt policyspråk för åtkomstkontroll som används i många tillämpningar. Policyer i XACML bygger på många komponenter över distribuerade resurser. På grund av uttryckligheten i XACML, är det inte trivialt för policyadministratörer att förstå den övergripande effekten och konsekvenserna av XACML politik de har skrivit. I detta dokument visar vi en mekanism och ett verktyg för att analysera strategier för kontroll av stor tillgång, såsom (i) politik för ofullständighet, (ii) motstridande politik och (iii) ouppnåelig politik. För att upptäcka dessa problem presenterar vi en metod med hjälp av Svarsset-programmering (ASP) i samband med XACML 3.0.
Ramli m.fl. REF använder Svarsset-programmering (ASP) för att upptäcka ofullständighet, motstridiga och ouppnåeliga XACML-strategier.
Detecting Incompleteness, Conflicting and Unreachability XACML Policies using Answer Set Programming
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}