A Multi-compositional Enforcement on Information Flow Security.

Cong Sun, Ennan Zhai, Zhong Chen, Jianfeng Ma

Browse the full ICICS paper archive.