На базе гипервизора seL4 создана платформа для создания высокозащищённых систем
28 января 2011 года
Австралийский исследовательский центр NICTA в сотрудничестве с организацией Open Kernel Labs после семи лет разработки представил основанную на микроядре seL4 платформу для обеспечения повышенного уровня безопасности критически важных систем. Принцип работы платформы сводится к полной изоляции работы групп приложений за счёт использования низкоуровневого гипервизора, задачи которого выполняет микроядро seL4. В отличие от классических систем виртуализации, микроядро seL4 является предельно минималистичным и его надёжность доказана математически.
Систему планируется использовать в таких областях, как авиационные, медицинские, финансовые и автомобильные программные комплексы, для изоляции критически важных приложений от дополнительных программных компонентов, уязвимость или сбой в которых не должны никаким образом влиять на первичные приложения. Например, можно обеспечить работу на смартфоне системы для доступа к закрытой информации с обычными мобильными приложениями.
Для загрузки доступен пакет, включающий основанное на открытом проекте OKL4 микроядро seL4 в сборке для архитектур ARM11 и x86, документацию, библиотеки для создания приложений, примеры кода и специальный пара-виртуализированный вариант Linux. Все наработки проекта можно использовать свободно, но при условии некоммерческого применения.
Источники
править
Любой участник может оформить статью: добавить иллюстрации, викифицировать, заполнить шаблоны и добавить категории.
Любой редактор может снять этот шаблон после оформления и проверки.
Комментарии
Если вы хотите сообщить о проблеме в статье (например, фактическая ошибка и т. д.), пожалуйста, используйте обычную страницу обсуждения.
Комментарии на этой странице могут не соответствовать политике нейтральной точки зрения, однако, пожалуйста, придерживайтесь темы и попытайтесь избежать брани, оскорбительных или подстрекательных комментариев. Попробуйте написать такие комментарии, которые заставят задуматься, будут проницательными или спорными. Цивилизованная дискуссия и вежливый спор делают страницу комментариев дружелюбным местом. Пожалуйста, подумайте об этом.
Несколько советов по оформлению реплик:
- Новые темы начинайте, пожалуйста, снизу.
- Используйте символ звёздочки «*» в начале строки для начала новой темы. Далее пишите свой текст.
- Для ответа в начале строки укажите на одну звёздочку больше, чем в предыдущей реплике.
- Пожалуйста, подписывайте все свои сообщения, используя четыре тильды (~~~~). При предварительном просмотре и сохранении они будут автоматически заменены на ваше имя и дату.
Обращаем ваше внимание, что комментарии не предназначены для размещения ссылок на внешние ресурсы не по теме статьи, которые могут быть удалены или скрыты любым участником. Тем не менее, на странице комментариев вы можете сообщить о статьях в СМИ, которые ссылаются на эту заметку, а также о её обсуждении на сторонних ресурсах.
