> Ох уж эти теоретики. Вы бы хоть говорили, что там верифицировано, а
> то опять раздувается синдром "серебряной пули".
> PS: Я всегда вспоминаю в таких случаях qmail. Тоже ведь вроде бы
> самый безопасный MTA, да вот только его безопасное ядро без плагинов
> никому не сдалось, а плагины дырявили и дырявят. Зачем нужен навороченный
> защищенный сейф, если он стоит дороже того, что хранится или его
> можно не вскрывая просто унести с собой?

http://ertos.nicta.com.au/research/sel4/