MILS analysis : 

- Biba analysis has detected  7 violations in the model [25] :
   1=>2
   1=>3
   1=>4
   1=>5
   1=>6
   8=>11
   9=>13

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