Abstract Security Policys spelar en viktig roll i dagens datorsystem. Vi visar på några allvarliga begränsningar i den utbredda standardrollbaserade passerkontrollmodellen (RBAC), nämligen att objektbaserad dynamisk åtskillnad av arbetsuppgifter som rollbaserad passerkontroll (RBAC) [18, 1, 2, 9] har fått stor uppmärksamhet som ett lovande alternativ till traditionell diskretionär och obligatorisk passerkontroll. Dessutom påpekade en omfattande fältstudie av National Institute of Standards and Technology (NIST) att tillstånd i praktiken tilldelas användare beroende på deras roller/funktioner i organisationen [8]. Den explicita representationen av roller förenklar i hög grad säkerhetsledningen och gör det möjligt att använda säkerhetsprinciper som åtskillnad av plikt och minst privilegier [18]. I det följande ger vi en översikt över RBAC96, en utbredd RBAC-modell som införts av Sandhu et al. [18].................................................................. I figurerna 1 och 2 visas enheternas uppsättningar av RBAC96 och förhållandet mellan dem. Ett annat viktigt begrepp för de avancerade RBAC96 modellerna är begränsningar i de förbindelser som tilldelas, auth, aktiv i, etc. Med hjälp av dessa begränsningar kan åtskillnad av plikt (SOD) verkställas. SOD är en välkänd princip som förhindrar bedrägeri och fel genom att kräva att minst två personer måste utföra en uppgift. SOD tillämpas ofta i vardagen, t.ex. ett dokument som skickas till en konferens måste normalt ses över av tre domare som måste vara annorlunda än författaren. Det finns flera försök att uttrycka SOD begränsningar i datorsäkerhet världen, särskilt inom bankområdet som ClarkWilson modell [6] eller Sandhu transaktionskontroll uttryck [17]. Vanligtvis kan det skiljas mellan statisk och dynamisk SOD. Statisk SOD innebär att en användare inte är tillåten att utföra vissa steg i en uppgift. Däremot, i dynamisk SOD en användare kan utföra dessa steg, men endast om han inte har gjort / gör inte vissa andra steg i uppgiften. Således är dynamisk SOD mer flexibel än statiska SOD och därmed bättre uppfyller verkliga krav. Vanligtvis uttrycks RBAC i set-teoretisk notation. När man använder formella metoder, måste man uttrycka RBAC i någon bestämd formalism (som Z formalism används i [5] ). Här formaliserar vi RBAC i mångskiftande första ordningens logik, som också är en välstuderad och verktygsbaserad formalism [14]. I specifikationen i bild. 3, Axiom anger att en session kan aktivera en roll endast om dess användare tilldelas rollen.
Till exempel visar REF hur man uttrycker olika typer av sod begränsningar i Role Based Access Control-modellen genom att använda första ordningen ltl.
A temporal-logic extension of role-based access control covering dynamic separation of duties
{'venue': '10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.', 'journal': '10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.', 'mag_field_of_study': ['Computer Science']}