Trots ett stort antal arbeten med tillståndsmodeller är det fortfarande en utmaning att genomföra flera olika strategier för att uppnå den säkerhetsnivå som krävs i många verkliga system. De nuvarande strategierna behandlar dessutom säkerhetsinställningarna på ett oberoende sätt, och deras integrering i systemutvecklingens livscykel är inte välbegriplig. I detta dokument presenteras en formell modell för specificering av politiken för tillträdeskontroll. Metoden kan hantera genomförandet av flera politikområden genom policysammansättning. Tidsmässiga beroenden bland tillstånd kan formuleras. Interval Temporal Logic (ITL) är vårt underliggande formella ramverk och policyer modelleras som säkerhetsegenskaper som uttrycker hur tillstånd beviljas över tid. Metoden är sammansatt och kan användas för att specificera andra systems egenskaper såsom funktionella och tidsmässiga krav. Användningen av en gemensam formalism underlättar integrationen av säkerhetskrav i systemkraven så att de kan resoneras på ett enhetligt sätt under hela utvecklingstiden. Dessutom är specificering av policyer körbara i Tempura, ett simuleringsverktyg för ITL.
En formell modell som gör det möjligt att genomföra komplexa tillträdesstrategier genom sammansättning presenteras i REF.
A compositional framework for access control policies enforcement
{'venue': "FMSE '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}