Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Изначальное сообщение		[ Отслеживать ]

"Выполнена формальная верификация безопасности микроядра seL4 для архитектуры AArch64"	+/–
Сообщение от opennews (??), 24-Авг-26, 21:44
Завершена работа над математической формальной верификацией надёжности и безопасности  работы микроядра seL4  на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и  гарантирующих отсутствие сбоев... Подробнее: https://www.opennet.dev/opennews/art.shtml?num=66127
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по времени | RSS]

1. "Выполнена формальная верификация безопасности микроядра seL4..."	+/–
Сообщение от Аноним (1), 24-Авг-26, 21:44
Как там с производительностью?
Ответить | Правка | Наверх | Cообщить модератору

	3. "Выполнена формальная верификация безопасности микроядра seL4..."	+/–
	Сообщение от Мемоним (?), 24-Авг-26, 22:04
	Плохо. Ни одного CVE.
	Ответить | Правка | Наверх | Cообщить модератору

2. "Выполнена формальная верификация безопасности микроядра seL4..."	+/–
Сообщение от Аноним (2), 24-Авг-26, 22:00
Объясните дауну, что такое формальная верификация. Желательно на пальцах.
Ответить | Правка | Наверх | Cообщить модератору

	4. "Выполнена формальная верификация безопасности микроядра seL4..."	+/–
	Сообщение от Аноним (2), 24-Авг-26, 22:06
	Для меня "формально" - это типо оно как бы есть но можно закрыть глаза. А тут че то все молятся на нее
	Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема