Advanced Development of Certified OS Kernels

@inproceedings{Shao2010AdvancedDO,
  title={Advanced Development of Certified OS Kernels},
  author={Zhong Shao and Bryan Ford},
  year={2010}
}
1 Innovative Claims Operating System (OS) kernels form the bedrock of all system software—they can have the greatest impact on the resilience, extensibility, and security of today's computing hosts. A single kernel bug can easily wreck the entire system's integrity and protection. We propose to apply new advances in certified software [86] to the development of a novel OS kernel. Our certified kernel will offer safe and application-specific extensibility [8], provable security properties with… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 98 references

Labels and event processes in the Asbestos operating system

ACM Trans. Comput. Syst. • 2007
View 11 Excerpts
Highly Influenced

A preprint is available at http://flint.cs.yale.edu/publications/certsoft.html

Z. Shao
Certified software. Communications of the ACM, page (to appear), • 2010
View 2 Excerpts

Certified software

Commun. ACM • 2010

Similar Papers

Loading similar papers…