The design of a COTS real-time distributed security kernel

TitleThe design of a COTS real-time distributed security kernel
Publication TypeJournal Article
Year of Publication2002
AuthorsCorreia, M., P. Verissimo, and N. Ferreira Neves
JournalDependable Computing EDCC-4
Pagination634–638