Abstrakt. Policyer för åtkomstkontroll har vuxit från enkla matriser till icke-triviala specifikationer skrivna på sofistikerade språk. Den ökande komplexiteten i denna politik kräver motsvarande starka automatiserade resonemang tekniker för att förstå och feltolka dem. Behovet av dessa tekniker är ännu mer trängande med tanke på den rika och dynamiska naturen i de miljöer där dessa strategier utvärderas. Vi definierar ett ramverk för att representera beteendet hos policyer för åtkomstkontroll i en dynamisk miljö. Vi specificerar sedan flera intressanta, decledable analyser med hjälp av första ordningen temporal logik. Vårt arbete illustrerar det subtila samspelet mellan logiska och statsbaserade metoder, särskilt i närvaro av trevärderade strategier. Vi definierar också ett begrepp om politisk likvärdighet som är särskilt användbart för modulära resonemang.
Ett av de närmaste verken är REF som representerar beteendet hos policyer för åtkomstkontroll i en dynamisk miljö.
Specifying and Reasoning About Dynamic Access-Control Policies
{'venue': 'IJCAR', 'journal': None, 'mag_field_of_study': ['Computer Science']}