IT формат электронный журнал
changemoney.me
«    Август 2017    »
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 

Новости » Secure embedded L4 (seL4) - ядро операционной системы, обладающее иммунитетом к распространенным типам атак
Secure embedded L4 (seL4) [Изображение с http://www.ertos.nicta.com.au ]
Secure embedded L4 (seL4)[Изображение с http://www.ertos.nicta.com.au ]

Австралийские ученые утверждают, что создали микроядро операционной системы обладающее иммунитетом к распространенным типам атак, таким как переполнение буфера.

Ядро, которое сами разработчики назвали "secure embedded L4" (seL4) и представили как первое "безопасное программное обеспечение беспрецедентного уровня надежности", на каждом этапе проходило строгую машинную проверку, а надёжность его доказывалась математически с помощью интерактивной программы Isabelle, предназначенной специально для доказательства теорем.

По итогам четырех лет работы было написано и проверено 7500 строк кода на языке C. В ходе проверок разработчики доказали свыше...

 

Домашняя страница проекта (англ.)

 

Источник : http://www.xakep.ru

Теги: Secure, embedded, seL4, ядро, система
19-08-2009 16:53 | Просмотров: 1306 | Автор: artful  Подробнее [0]






1 января 1970 00:00 - XML error: Mismatched tag at line 15



Электронный журнал ITФормат 2006-2010 ©
Редакция          Реклама у нас
Windows 2012 скидка !
Dr. web
Моментальный обмен WebMoney WMR WMZ WME WMU WMB