NDLI: CertiKOS: a certified kernel for secure cloud computing

Please wait, while we are loading the content...

Protected hard real-time: the next frontier

Security breaches as PMU deviation: detecting and identifying security attacks using performance counters

Hardware-supported virtualization on ARM

One optimized I/O configuration per HPC application: leveraging the configurability of cloud

Our troubles with Linux and why you should care

A virtual memory foundation for scalable deterministic parallelism

Traveling forward in time to newer operating systems using ShadowReboot

SLIM: Mmap from the cloud to device, and back

CertiKOS: a certified kernel for secure cloud computing

Static analysis of device drivers: we can do better!

Vis: virtualization enhanced live acquisition for native system

A case for RDMA in clouds: turning supercomputer networking into commodity

An efficient software shared virtual memory for the single-chip cloud computer

Retroactive auditing

Toward under-millisecond I/O latency in Xen-ARM

SPECTRE: speculation to hide communication latency

Linux kernel vulnerabilities: state-of-the-art defenses and open problems

AutoLog: facing log redundancy and insufficiency

A better way to negotiate for testbed resources

CertiKOS: a certified kernel for secure cloud computing

Content Provider	ACM Digital Library
Author	Ford, Bryan Costanzo, David Shao, Zhong Vaynberg, Alexander Gu, Liang
Abstract	Though attractive as a model for elastic on-demand service, cloud computing solutions based on existing hypervisors cannot guarantee that the provider will service a user's requests correctly, and will not leak sensitive information to unauthorized parties. We introduce CertiKOS (Certified Kit Operating System), a hypervisor architecture that leverages formal certification to ensure correctness and counter information leakage in cloud computing. CertiKOS isolates guest applications not only from each other but from provider-controlled resource management mechanisms. The kernel's API gives untrusted, provider-supplied management software control over allocation and delegation of resources such as memory and I/O devices, but prohibits management code from accessing a guest's memory or other resources while in use, or from interfering with a guest's execution except through clean resource revocation. CertiKOS represents an effort to apply recent advances in certified software design to a ground-up design of a modular and evolvable certified kernel. Through machine-checkable proof certificates and runtime monitoring, CertiKOS aims to offer users the assurance of correct and leak-free execution of their cloud services.
Starting Page	1
Ending Page	5
Page Count	5
File Format	PDF
ISBN	9781450311793
DOI	10.1145/2103799.2103803
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-07-11
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in