A type system for Discretionary Access Control

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:04
TitleA type system for Discretionary Access Control
Publication TypeJournal Article
Year of Publication2009
AuthorsBugliesi, M, Colazzo, D, Crafa, S, Macedonio, D
JournalMathematical Structures in Computer Science
Volume19
Pagination839-875