Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.

Yi-Ming Chen, Yung-Wei Kao

Browse the full IWSEC paper archive.