AModel for Multilevel Security Based on Operator Nets | IEEE Conference Publication | IEEE Xplore