Login / Signup

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

Yongwang ZhaoDavid SanánFuyuan ZhangYang Liu
Published in: TACAS (2016)
Keyphrases