The design of a COTS real-time distributed security kernel (2002)

by M Correia N F Neves, P Veríssimo
Venue:In Proceedings of the Fourth European Dependable Computing Conference