Vi introducerar en enkel Rollbaserad Trust-management språk RT 0 och en set-teoretisk semantik för det. Vi introducerar också credential grafer som en sökbar representation av referenser i RT 0 och bevisa att nåbarhet i credential grafer är ljud och komplett med avseende på semantik RT 0. Baserat på credential grafer, ger vi målriktade algoritmer för att göra credential kedja upptäckt i RT 0, både när credential lagring är centraliserad och när credential lagring distribueras. En målriktad algoritm börjar med en åtkomst-kontroll fråga och sökningar efter referenser som är relevanta för frågan, samtidigt som man undviker att överväga det potentiellt mycket stora antalet referenser som inte är relaterade till tillträde-kontroll beslut som finns. Detta tillvägagångssätt ger bättre förväntad prestanda än bottom-up algoritmer. Vi visar hur våra algoritmer kan tillämpas på SDSI 2.0 (den "SDSI" delen av SKI/SDSI 2.0). Vår målriktade, distribuerade kedjeupptäcktsalgoritm hittar och hämtar referenser efter behov. Vi bevisar att algoritmen är korrekt genom att bevisa att algoritmen är sund och komplett med avseende på den förtroendegraf som består av de referenser den hämtar, och att algoritmen hämtar alla referenser som utgör en traversabel kedja. Vi inför vidare ett system av lagringstyp för RT 0, som garanterar kedjors traverserbarhet när referenser är välskrivna. Detta typsystem kan också bidra till att förbättra sökeffektiviteten genom att vägleda sökningen i rätt riktning, vilket gör distribuerad kedjeupptäckt med ett stort antal referenser möjliga. * Ett utdraget abstract av en preliminär version av denna artikel publicerades i
I REF, Li et al. presenterade ett rollbaserat förvaltningsspråk RT 0 och föreslog användning av starkt maskinskriven distribuerad certifikatlagring för att lösa problemet med upptäckt av certifikatkedja i distribuerad lagring.
Distributed Credential Chain Discovery in Trust Management
{'venue': 'Journal of Computer Security', 'journal': None, 'mag_field_of_study': ['Computer Science']}