Выполнена формальная верификация безопасности микроядра seL4 для архитектуры AArch64

Дата публикации: 24-08-2026 18:36:13

Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и гарантирующих отсутствие сбоев.

Основное содержимое страницы с новостью.

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	Samsung внедряет инструменты ИИ для ускорения разработки процессоров Exynos и сенсоров ISOCELL	0	8.52	13-08-2026
2	Samsung раскрыла планы по выпуску 2-нм и 1,4-нм процессоров нового поколения	0	7.66	06-07-2026
3	Слухи о производстве процессоров Apple A20 на заводах Intel не подтвердились	0	7.07	07-07-2026
4	Apple продлила контракт с Broadcom на поставку радиочастотных компонентов для iPhone до 2031 года	0	10.63	07-07-2026
5	Мировые поставки процессоров для смартфонов упали на 15%	0	9.58	31-07-2026
6	Mind Software подтвердила совместимость с облачной платформой ECP VeiL SE от НИИ «Масштаб»	0	5	08-07-2026
7	Xello и «Код Безопасности» подписали соглашение о технологическом партнерстве	0	5	21-07-2026
8	Минкомсвязь предложила правила сертификации оборудования для Wi-Fi 6	0	0	10-02-2020
9	Минцифры рекомендовало свои сертификаты для доступа к сайтам РФ	0	6.83	23-07-2026

Классификация: Наука. Схожих патентов: 0. Схожих новостей: 9. Тональность: 0. Информативность: 14.52. Источник: www.opennet.ru.