A Multi-Level Security Model Based on Trusted Computing | IEEE Conference Publication | IEEE Xplore