MILS analysis : 

- Biba analysis has detected  3 violations in the model [25] :
   11=>14
   9=>13
   19=>20

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