Reasoning About Information Flow Security of Separation Kernels with
Channel-based Communication

Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication

17 October 2015

Yang Liu

Papers citing "Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication"

Title
No papers