Abstrakt. Vi introducerar en rollbaserad åtkomstkontrollanalys för modellering av dynamiska webbdata och ett motsvarande typsystem. Det är en förlängning av den Xdπ kalkyl som föreslagits av Gardner och Maffeis. I vårt ramverk är ett nätverk en parallell sammansättning av platser, där varje plats innehåller processer med roller och ett dataträd vars kanter är förknippade med roller. Processer kan kommunicera, migrera från en plats till en annan, använda data, ändra data och roller i det lokala trädet. På så sätt får vi en modell som kontrollerar processtillgången till data. Vi föreslår ett typsystem som säkerställer att en specifik nätpolicy respekteras vid beräkningen. Slutligen visar vi att vår analys följer följande säkerhetsegenskaper: 1) alla dataträd och processer med roller på en plats överensstämmer med lokaliseringspolicyn; 2) en process kan migrera endast till en plats med vars policy den godkänner; 3) en process med roller kan endast läsa och ändra data som är tillgängliga för den; 4) en process med roller kan aktivera och inaktivera roller i enlighet med lokaliseringspolicyn.
Rollbaserad åtkomstkontroll i distribuerade system med dynamiska åtkomsträttigheter hanterades av Dezani-Ciancaglini et al. REF med hjälp av ett typsystem som säkerställer säkerhetsegenskaper.
Types for Role-Based Access Control of Dynamic Web Data
{'venue': 'WFLP', 'journal': None, 'mag_field_of_study': ['Computer Science']}