CAmkES: A component model for secure microkernel-based embedded systems

Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser. CAmkES: A component model for secure microkernel-based embedded systems. Journal of Systems and Software, 80(5):687-699, 2007. [doi]

Abstract

Abstract is missing.