Суббота, 6 июня, 21:04
дома безопасность Linux Foundation поддерживает микроядро seL4 для повышения безопасности

Linux Foundation поддерживает микроядро seL4 для повышения безопасности

Linux Foundation seL4

Это Linux Foundation работает с Data61цифровое специализированное подразделение Национальной научной организации Австралии, Организация научных и промышленных исследований Содружества (CSIRO)в попытке продвинуть его новое ядро ​​операционной системы seL4, ориентированное на безопасность.

Это микроядро seL4 не имеет отношения к Linux. Однако теоретически он может быть использован как основа для Linux а также для других функций системы, связанные с Unix. Например, его использование в эксплуатации считается система Гну Херд, Ричард М. Столлман. Теперь последняя версия позволяет более широко разрабатывать seL4.

Это ядро ​​является его членом семейное микроядро L4, SeL4 один математически доказанное правильное ядро операционная система, без ошибки, Его цель усиливая это безопасность, Согласно данным Data61, это первая операционная система в мире, которая была доказана математически, имеет очень высокую эффективность и улучшенные свойства. безопасность, В будущем он сможет значительно поддержать системы в реальном времени

Роль Linux Foundation заключается в размещении нового тела Фонд SeL4, По сути, он будет поддерживать Фонд seL4, предоставляя ноу-хау и услуги для повышения вовлеченности сообщества, в то же время помогая развивать экосистему ОС.

Учредителями этого предприятия являются: Data61, UNSW Sydney, HENSOLDT Cyber ​​GmbH, Ghost Locomotion, Cog Systems и DornerWorks.

SeL4 будет использоваться в критически важных вычислительных системах (в режиме реального времени), в которых безопасность это очень важно. Говорят, что он используется в ключевых областях:

  • электронное оборудование на самолете
  • автономные транспортные средства
  • медицинская техника
  • критические инфраструктуры
  • оборона

Карл Л. Неруп, генеральный директор Cog Systems, сказал:

«SeL4 установил новый стандарт надежности для подключенных техника, Это позволяет нам предлагать коммерческие решения, отвечающие строгим требованиям рынка более высокие стандарты безопасности и защита".

ОСТАВИТЬ ОТВЕТ

Пожалуйста, введите ваш комментарий!
Пожалуйста, введите ваше имя здесь

Цифровая Крепость
Цифровая Крепостьhttps://www.secnews.gr
Продолжайте мечтать и жить!

LIVE NEWS

Тексты от технологии искусственного интеллекта или от людей: вы можете отличить их?

В то время как большой процент людей может распознать, когда они разговаривают в чат-боте вместо оператора-человека, кажется, что это не так ...

Технологии и дети: когда они готовы к безопасному использованию?

Сегодняшние дети и подростки используют различные приложения для обмена сообщениями и социальные сети, чтобы ...

Call of Duty Black Ops Cold War: утечка первого видео

Первое видео из игрового процесса Call of Duty 2020, которое, по слухам, называется Black Ops Cold War, только что было опубликовано.

Элон Маск: «Пора расстаться с Амазонкой»

Элон Маск усиливает борьбу с Джеффом Безосом новым твитом: генеральный директор Tesla Inc., Элон Маск, сказал ...

Атака на американские 5G башни в субботу!

По сообщению NATE, в течение выходных запланированы акции протеста против подключения 5G. Согласно рекомендации, которая была определена ...

Обновления Windows 10: Вы можете заблокировать их с помощью Wu10Man!

Microsoft выпустила обновление для Windows 10 в мае 2020 года, поэтому оно скоро будет доступно на вашем компьютере ....

ECh0raix Ransomware: новая кампания, ориентированная на устройства QNAP NAS!

Вредоносные агенты eCh0raix Ransomware запустили новую кампанию, ориентированную на устройства QNAP NAS. Эхраикс наблюдался ...

Mac: Как изменить место хранения ваших скриншотов?

Когда вы делаете снимки экрана на вашем устройстве Mac с помощью ярлыка Shift-Command-3, чтобы сделать снимок экрана всего экрана компьютера или Shift-Command-4 ...

Malware USBCulprit: направляет устройства, которые не подключены к сети

Вы думали, что устройства без какого-либо подключения к локальной или другой сети (устройства с воздушным зазором) безопасны? Подумай еще раз! Вредоносная программа USBCulprit, которая ...

Бесплатные команды Microsoft: вы, наконец, можете создавать встречи!

Пользователи бесплатной версии Microsoft Teams теперь могут создавать видео встречи. Изменение, обозначенное ...