Benchmarking multilevel secure database systems using the MITRE benchmark | IEEE Conference Publication | IEEE Xplore