Abstrakt. Vi presenterar en modellkontrollalgoritm som kan användas för att utvärdera policyer för åtkomstkontroll, och ett verktyg som implementerar den. Utvärderingen omfattar inte bara att bedöma om politiken ger legitima användare tillräckligt med behörighet för att nå sina mål, utan också att kontrollera om politiken hindrar inkräktare från att nå sina skadliga mål. Policyer för passerkontrollsystemet och mål för agenter måste beskrivas i den beskrivning av passerkontroll och specifikationsspråk som införts som § i vårt tidigare arbete. Algoritmen tar en policybeskrivning och ett mål som ingång och utför två kontrollsätt. I bedömningsläget söker algoritmen efter strategier som består av läs- och skrivsteg som gör det möjligt för agenterna att uppnå sina mål oavsett vilka tillstånd systemet kan drivas in i under genomförandet av strategierna. I intrångsdetekteringsläget används ett svagare begrepp om strategi, vilket återspeglar inkräktarnas vilja att gissa värdet av attribut som de inte kan läsa.
Zhang m.fl. REF presentera en modellkontroll algoritm som utvärderar om en MAC-policy kan tillfredsställa en användares begäran om åtkomst samt förhindra inkräktare från att nå sina skadliga mål.
Evaluating access control policies through model checking
{'venue': 'In Proc. 8th Information Security Conference (ISC 2005', 'journal': None, 'mag_field_of_study': ['Computer Science']}