Idag är Role Based Access Control (RBAC) den de facto-modell som används för avancerad åtkomstkontroll, och är brett utplacerad i olika företag av alla storlekar. Flera utvidgningar av godkännandet och de administrativa modellerna för RBAC har antagits under de senaste åren. I detta dokument överväger vi tidsförlängningen av RBAC (TRBAC) och utvecklar säkerhetsanalystekniker för detta. Säkerhetsanalys är en förutsättning för att man ska kunna förstå konsekvenserna av säkerhetspolitiken både när det gäller specifikation och ändringar. För detta ändamål definierar vi i detta dokument först en administrativ modell för TRBAC. Vår strategi för att utföra säkerhetsanalyser är att på lämpligt sätt bryta ner TRBAC analysproblem i flera underproblem som liknar RBAC. Tillsammans med att göra analysen enklare gör det möjligt för oss att utnyttja och anpassa befintliga analystekniker som utvecklats för traditionell RBAC. Vi har anpassat och experimenterat med att använda två toppmoderna analysmetoder som utvecklats för RBAC samt verktyg som utvecklats för programvarutestning. Våra resultat visar att vår strategi är både genomförbar och flexibel.
En av de viktigaste fördelarna med Ref är möjligheten att utnyttja de senaste framstegen i analysen av ARBAC:s politik.
Analyzing temporal role based access control models
{'venue': "SACMAT '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}