Multics security evaluation: vulnerability analysis | Synapse