Hi all,<div>I have the following questions regarding Xen hypervisor.Can you please clarify these queries?<br><br></div><div><div><li>Does Xen follow any security model, 
in particular, does a Random Oracle (RO) fit in Xen?</li><li>When
there are concurrent Guest OS running on the same hardware, then there
has to be a mechanism for concurrency control and fairness, how does
Xen implement these?</li><li>Shared memory access has to make sure that 
one &quot;malicious&quot; OS doesn&#39;t access other&#39;s memory, where and how is this 
done?</li><li>Similarly
with shared network, how and where is security handled in this case so
that packets meant for one OS are not accessible to other OS?</li></div><li>Does
 xen has cryptography implementation in the code ?</li><li>If you have 
idea regarding <b>&quot;provable security&quot; </b>property of Xen , can you give
 us a gist of it ?</li>
</div><br><br>Thanks&amp;Regards,<br><font color="#888888">Aditya 
Pendyala,<br><br></font>