MILS analysis : - Bell/La Padula analysis has detected 0 violation in the model [24].