Information Flow Control Model and Method in Distribute MILS | IEEE Conference Publication | IEEE Xplore