> man operating_systems
Coyotos, новая ориентированная на безопасность ОС и язык
Если вы не наблюдали за проектом EROS, возможно, вы еще не знаете, что недавно он слился с проектом Coyotos. EROS расшифровывается как "Extremely Reliable Operating System", это был проект по созданию операционной системы, возможности по обеспечению безопасности в которой были бы отличны от традиционной модели root и не-root в Unix. Архитектура системы позволяет проводить тщательные проверки безопасности, такие, которые невозможны в Unix-подобных или MS Windows системах. Coyotos станет реальным воплощением идей EROS, дополненным слоем эмулятора Linux. Coyotos также принесет с собой новый язык, названный BitC, который позволяет программисту убедиться в том, что код удовлетворяет определенной семантике, тем самым обеспечивая еще один слой проверки безопасности.

Самая ожидаемая ОС и язык 2005 года?



Roman I Khimov  в  Среда, 26 Январь 2005, 12:23  |   Комментарии: 0  |  для печати

Наши новости доступны в формате RSS.

© OSRC.info, 2004-2010.
Авторские права на любые материалы, авторы которых явно указаны, принадлежат их авторам. По вопросам публикации таких материалов обращайтесь к авторам.
Авторские права на любые другие материалы принадлежат OSRC.info.
Сайт является помещением библиотеки. Копирование, сохранение на жестком диске или иной способ сохранения произведений осуществляются пользователями на свой риск.
При использовании материалов сайта ссылка на OSRC.info обязательна.