15.02.2017 Новости, БезопасностьБезопасность компьютерных систем находится в отвратном состоянии, потому что в нашем ПО много дефектов и его невозможно полностью протестировать. Это благо для киберпреступников, но не для нас. Так почему бы не попытаться создать математически выверенное, безопасное и поддерживающее параллелизм ядро для x86 и ARM? Группа из Йельского университета это сделала. Операционные системы находятся в сердцевине нашей цифровой цивилизации. Если они будут непробиваемы для хакеров, то миллиарды устройств — ПК, сетевые коммутаторы, IoT-девайсы, дроны и многое другое — станут гораздо безопаснее. Это вынудит киберпреступников переместить атаки на менее общие уровни софтверного стека. Именно такой системой является CertiKOS, позволяющая создавать безопасные системные ядра. Она создана группой из Йельского университета под руководством профессора Жонга Шао и использована для создания защищенной ОС, в которой работает гипервизор, позволяющий параллельно запускать много экземпляров системы. Крупнейший вызов В интервью сайту YaleNews Аниндиа Банерджи, директор программы Национального научного фонда США (NSF), который помогает финансировать это исследование, отметил: «Построение функционально корректного системного ПО являлось одним из крупнейших вызовов для вычислительных технологий по крайней мере с середины 20-го века. CertiKOS демонстрирует, что принципиально возможно и практически осуществимо создать верифицированное ПО, которое дополнительно предоставляет свидетельства — через ...
читать далее.