A Formal Multilevel Database Security Model | IEEE Conference Publication | IEEE Xplore