Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux | IEEE Conference Publication | IEEE Xplore