• ОС микроядро Касперский Эта красивая чёрная коробочка – не что иное как защищённый коммутатор уровня L3 с нашей ОСью внутри. И это первая серийная железка в коммерческой продаже! На подходе ещё много чего, а дальше будет и ещё, и ещё больше разных безопасных «вещей интернета», также известных как IoT. Потому что наша операционка оказалась весьма подходящей для подобных проектов, где нужна небольшая, оптимизированная и безопасная платформа.Если кратко, то у этой операционки есть несколько особенностей.Во-первых, микроядерная архитектура, в результате чего мы под конкретные требования можем собирать «из кубиков» различные модификации системы. Во-вторых, встроенная система безопасности, контролирующая поведение приложений и модулей операционной системы. Чтобы хакнуть эту платформу надо поломать криптографическую подпись, что до наступления эпохи квантовых компьютеров является весьма недешёвым занятием. И в-третьих, всё сделано с нуля. Всё популярные ОСи не заточены на безопасность и поэтому проще и надёжнее сделать всё заново, по-правильному. Что мы и сделали.
    eugene.kaspersky.ru
    ♡ recommended by @OCTAGRAM

Replies (3)

  • @SolderStain, И на чём, по мнению Лаборатории Касперского, может быть написана безопасная ОС?
  • @OCTAGRAM, будете смеяться, на хаскелле. ну точнее из хаскелля транспилится в си через ivorylang.org, какие-то куски на чистом си, они об этом у себя доклад делали.
  • @Darwin, Нет, не буду. Хоть и не SPARK, как в Muen, но подход серьёзный.