Coyotos is a secure, microkernel-based operating system that builds on the ideas and experiences of the EROS project. Much of the code developed for EROS will migrate directly to Coyotos. The Coyotos project has several objectives: 1) Correct some of the shortcomings of the earlier EROS design, 2) Demonstrate that an atomic kernel design scales up as well as down. We are planning to bring up versions of Coyotos on large-scale multiprocessors, 3) Provide an efficient linux compatibility environment for use as a transitional runtime system, so that we can explore adapting applications to a more secure API foundation, 4) Construct the kernel and key utilities in a new systems programming language (BitC) with a well-defined, mechanically-specified semantics. This will allow us to formally verify security and correctness properties of the system and its key utilities, and 5) Develop the proving technology necessary to do useful verification about a project of this sort. This will be added to the Security Resources 2005 Internet MiniGuide.
posted by Marcus Zillman |
4:10 AM
