Conference Proceedings
Noninterference for Operating System Kernels
TC Murray, D Matichuk, M Brassil, P Gammie, G Klein, C Hawblitzel (ed.), D Miller (ed.)
Springer Berlin Heidelberg | Published : 2012
Conference Proceedings
TC Murray, D Matichuk, M Brassil, P Gammie, G Klein, C Hawblitzel (ed.), D Miller (ed.)
Springer Berlin Heidelberg | Published : 2012