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