A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems.

Xiaodong Yi, Xuejun Yang

Browse the full ICICS paper archive.