MILS analysis : 

- Bell/La Padula analysis has detected  6 violations in the model [24] :
   14=>1
   8=>11
   15=>1
   16=>17
   16=>18
   20=>21

<?xml version="1.0" encoding="utf-8"?>
<event_table>
</event_table>