Mitigating cyber-security risks using MILS