From mboxrd@z Thu Jan 1 00:00:00 1970 From: Aditya Pendyala Subject: Fwd: Request for assistance Date: Fri, 12 Mar 2010 19:38:31 +0530 Message-ID: <370818a61003120608t3ee359e3hacc34855677fe57e@mail.gmail.com> References: <370818a61003120604w5217463ah1746cb6210c3b18b@mail.gmail.com> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============1465597527==" Return-path: In-Reply-To: <370818a61003120604w5217463ah1746cb6210c3b18b@mail.gmail.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: xen-devel@lists.xensource.com Cc: Shweta M , Rishabh Namdeo , GMDNabi Saheb , Reehan List-Id: xen-devel@lists.xenproject.org --===============1465597527== Content-Type: multipart/alternative; boundary=001636e0a4d2f233b604819b100e --001636e0a4d2f233b604819b100e Content-Type: text/plain; charset=ISO-8859-1 Adding my project team in the loop ---------- Forwarded message ---------- From: Aditya Pendyala Date: Fri, Mar 12, 2010 at 7:34 PM Subject: Request for assistance To: xen-devel@lists.xensource.com Hi all, We are students of International Institute of Technology,Bangalore,India.We are doing project work on Xen hypervisor.We got your contact from *"Ian Prat"*. We have been assigned the task to prove the security of virtualization environment provided by xen.We request your assistance in this regards and clarify the following issues. Does Xen follow any security model, in particular, does a Random Oracle (RO) fit in Xen? 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? Shared memory access has to make sure that one "malicious" OS doesn't access other's memory, where and how is this done? 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? Does xen has cryptography implementation in the code ? If you have idea regarding *"provable security" *property of Xen , can you give us a gist of it ? Thanks&Regards, Aditya Pendyala, Reehan IL Ahmed Khan, G MD Nabi Saheb, Shwetha M, Rishabh Namdeo --001636e0a4d2f233b604819b100e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Adding my project team in the loop

------= ---- Forwarded message ----------
From: Ad= itya Pendyala <aditya.pendyala@iiitb.net>
Date: Fri, Mar 12, 2010 at 7:34 PM
Subject: Request for assistance
To= : xen-devel@lists.xensourc= e.com


Hi all,
We are students of International Inst= itute of Technology,Bangalore,India.We are doing project work on Xen hyperv= isor.We got your contact from "Ian Prat".
We have been assigned the task to prove the security of virtualization environment provided by xe= n.We request your assistance in this regards and clarify the following issu= es.

  • Does Xen follow any security model, in p= articular, does a Random Oracle (RO) fit in Xen?
  • 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?
  • Shared memory access has to make sure that one= "malicious" OS doesn't access other's memory, where and = how is this done?
  • 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?
    • Does xen has cryptography implementation in the code ?
  • If you have= idea regarding "provable security" property of Xen , can = you give us a gist of it ?


    • Thanks&Regards,
    Aditya Pendyal= a,
    Reehan IL Ahmed Khan,
    G MD Nabi Saheb,
    Shwetha M,
    Rishabh Na= mdeo

    --001636e0a4d2f233b604819b100e-- --===============1465597527== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel --===============1465597527==--