Secure Cloud Computing

CertiKOS: A Certified Kernel for Secure Cloud Computing

FREE-DOWNLOADL Gu, A Vaynberg, B Ford, Z Shao… – 2011
Abstract Though attractive as a model for elastic on-demand service, cloud computing solutions
based on existing hypervisors cannot guaran- tee that the provider will service a user’s requests
correctly, and will not leak sensitive information to unauthorized parties. We in- troduce .