MILS analysis : 

- Biba analysis has detected  0 violation in the model [25].

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