Abstrakt. Rollbaserad åtkomstkontroll (RBAC) är ett gemensamt paradigm för att säkerställa att användarna har tillräckliga rättigheter för att utföra olika systemdrifter. I många fall uttrycker dock den traditionella RBAC inte lätt säkerhetskrav på tillämpningsnivå. I ett system med läkarjournaler är det till exempel svårt att uttrycka att läkare endast bör uppdatera sina egna patientjournaler. Dessutom är traditionella RBAC-ramverk som Java's Enterprise Edition enbart beroende av dynamiska kontroller, vilket gör tillämpningskoden skör och svår att säkerställa korrekt. Vi introducerar objektkänslig RBAC (ORBAC), en generaliserad RBAC-modell för objektorienterade språk. ORBAC löser expressivitetsbegränsningarna i RBAC genom att tillåta roller att parameteriseras av egenskaper hos de affärsobjekt som manipuleras. Vi formaliserar och bevisar ljud ett beroende typsystem som statiskt validerar ett programs överensstämmelse med en ORBAC-policy. Vi har implementerat vårt typsystem för Java och har använt det för att validera finkornig åtkomstkontroll i OpenMRS medicinska registersystem.
RBAC studerades också flitigt och forskare i REF föreslog objektkänslig rolltilldelning, vilket är en generaliserad RBAC-modell för objektorienterade språk.
Fine-grained access control with object-sensitive roles
{'venue': 'ECOOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}