När man definierar en stor, komplex politik för tillträdeskontroll skulle man vilja skriva underpolitik, kanske författad av olika organisationer, i en enda global politik. Befintliga strategier för policysammansättning tenderar att vara ad hoc och förklarar inte om alltför många eller för få policykombinatorer har definierats. Vi definierar en policy för tillträdeskontroll som en fyrvärdig grund som kartlägger tillgång till antingen bidrag, förnekande, konflikt eller ospecificerad. Dessa motsvarar de fyra elementen i Belnap bilattice. Funktionerna på detta bilattice utvidgas sedan till politik för att fungera som politiska kombinatorer. Vi hävdar att detta tillvägagångssätt ger en enkel och naturlig semantisk ram för politikens sammansättning, med en minimal men funktionellt komplett uppsättning policykombinatorer. Vi definierar operatörer på högre nivå som är lämpliga för att specificera politiken för tillträdeskontroll och möjliggör frikoppling av konfliktlösning från politikens sammansättning. Slutligen föreslår vi ett grundläggande frågespråk och visar att det kan minska viktiga analyser (t.ex. Konfliktanalys) för kontroll av förfining av politiken.
I REF definieras ett policyspråk för tillträdeskontroll som en fyrvärderingsgrund.
A simple and expressive semantic framework for policy composition in access control
{'venue': "FMSE '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}