La logica per access control viene utilizzata come formalismo per un metamodello per linguaggi di access control che permette di modellare varie altre proposte, quali RBAC, DBAC, etc.
Titolo: | A meta-model of access control in a fibred security language | |
Autori Riconosciuti: | ||
Autori: | Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese | |
Data di pubblicazione: | 2009 | |
Abstract: | La logica per access control viene utilizzata come formalismo per un metamodello per linguaggi di access control che permette di modellare varie altre proposte, quali RBAC, DBAC, etc. | |
Volume: | 92(3) | |
Pagina iniziale: | 437 | |
Pagina finale: | 477 | |
Rivista: | STUDIA LOGICA | |
Appare nelle tipologie: | 03A-Articolo su Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.