Abstrakt. Av flera skäl är företagen ofta föremål för organisatoriska förändringar. Respektiva anpassningar kan gälla affärsprocesser, men även andra komponenter i en företagsarkitektur. I synnerhet blir förändringar av organisatoriska strukturer ofta nödvändiga. Informationen om organisatoriska enheter och deras relationer upprätthålls i organisatoriska modeller. Därför är den snabba och korrekta anpassningen av dessa modeller grundläggande för att på ett tillfredsställande sätt kunna hantera organisatoriska förändringar. Modelländringar räcker dock inte för att garantera enhetlighet. Eftersom organisatoriska modeller också utgör grunden för att definiera åtkomstregler (t.ex. uppdrag för aktörer i arbetsflödeshanteringssystem eller åtkomstregler i dokumentcentrerade applikationer) måste denna information anpassas i enlighet med detta (t.ex. för att undvika dinglande referenser eller icke-lösliga uppdrag för aktörer). Dagens strategier tar inte tillräcklig hänsyn till detta problem, vilket ofta leder till säkerhetsbrister och försenat genomförande av förändringar.I detta dokument inför vi en formell ram för kontrollerad utveckling av organisatoriska modeller och relaterade tillträdesregler. För det första introducerar vi en uppsättning operatörer med väldefinierade semantik för att definiera och förändra organisatoriska modeller. För det andra visar vi hur man definierar tillträdesregler baserade på sådana modeller. I detta sammanhang definierar vi också ett begrepp om korrekthet för tillträdesregler. För det tredje lägger vi fram en formell ram för (halvautomatisk) anpassning av tillträdesreglerna när den underliggande organisatoriska modellen ändras genom att man utnyttjar semantiken i de tillämpade förändringarna. Sammantaget utgör det framlagda tillvägagångssättet ett viktigt bidrag för att förverkliga adaptiva ramar för tillträdeskontroll.
Rinderle-Ma och Reichert REF föreslår ett formellt ramverk för modellering av förändringar i de organisatoriska modellerna och i motsvarande policy för tillträdeskontroll.
A formal framework for adaptive access control models
{'venue': 'J. Data Semantics', 'journal': 'J. Data Semantics', 'mag_field_of_study': ['Computer Science']}