Separation av arbetsuppgifter (SoD) anses allmänt vara en grundläggande princip inom datasäkerhet. En statisk SOD (SoD) policy anger att för att ha alla tillstånd som krävs för att slutföra en känslig uppgift, samarbetet med åtminstone ett visst antal användare krävs. Rollbaserad passerkontroll (RBAC) är dagens dominerande passerkontrollmodell. Det anses allmänt att en av RBAC:s främsta styrkor är att den gör det möjligt att använda restriktioner för att stödja politik, till exempel åtskillnad av arbetsuppgifter. I litteraturen om RBAC används statiskt ömsesidigt uteslutande roller (SMER) begränsningar för att genomdriva SSoD politik. I detta dokument formulerar och studerar vi grundläggande beräkningsproblem i samband med användningen av SMER-begränsningar för att genomdriva SSoD-policyer. Vi visar att en direkt tillämpning av SSoD-politiken är intractable (coNP-fullständig), samtidigt som man kontrollerar om en RBAC-stat uppfyller en uppsättning SMER-begränsningar är effektiv, men att kontrollera om en viss uppsättning SMER-begränsningar genomdriver en SSoD-policy är också intractable (coNP-fullständig). Vi diskuterar konsekvenserna av dessa resultat. Vi visar också hur man genererar SMER-begränsningar som är så exakta som möjligt för att genomföra en SSoD-policy.
Löjtnant m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m för m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m. I REF användes statisk, ömsesidigt uteslutande roll (SMER) begränsningar för att genomdriva SSOD-policyer i RBAC.
On mutually exclusive roles and separation-of-duty
{'venue': 'TSEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}