Other

Noninterference for operating system kernels

T Murray, D Matichuk, M Brassil, P Gammie, G Klein

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Published : 2012

Citation metrics