Новость: Coyotos, новая ориентированная на безопасность ОС и язык
(Категория: Разное)
Добавил Roman I Khimov
Среда, 26 Январь 2005, 12:23
Если вы не наблюдали за проектом EROS, возможно, вы еще не знаете, что недавно он слился с проектом Coyotos. EROS расшифровывается как "Extremely Reliable Operating System", это был проект по созданию операционной системы, возможности по обеспечению безопасности в которой были бы отличны от традиционной модели root и не-root в Unix. Архитектура системы позволяет проводить тщательные проверки безопасности, такие, которые невозможны в Unix-подобных или MS Windows системах. Coyotos станет реальным воплощением идей EROS, дополненным слоем эмулятора Linux. Coyotos также принесет с собой новый язык, названный BitC, который позволяет программисту убедиться в том, что код удовлетворяет определенной семантике, тем самым обеспечивая еще один слой проверки безопасности.
Самая ожидаемая ОС и язык 2005 года?
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.1958 )
(Категория: Разное)
Добавил Roman I Khimov
Среда, 26 Январь 2005, 12:23
Если вы не наблюдали за проектом EROS, возможно, вы еще не знаете, что недавно он слился с проектом Coyotos. EROS расшифровывается как "Extremely Reliable Operating System", это был проект по созданию операционной системы, возможности по обеспечению безопасности в которой были бы отличны от традиционной модели root и не-root в Unix. Архитектура системы позволяет проводить тщательные проверки безопасности, такие, которые невозможны в Unix-подобных или MS Windows системах. Coyotos станет реальным воплощением идей EROS, дополненным слоем эмулятора Linux. Coyotos также принесет с собой новый язык, названный BitC, который позволяет программисту убедиться в том, что код удовлетворяет определенной семантике, тем самым обеспечивая еще один слой проверки безопасности.
Самая ожидаемая ОС и язык 2005 года?
Источник этой новости Центр информации по операционным системам
( http://www.osrc.info/news.php?extend.1958 )