https://www.opennet.me/openforum/vsluhforumID3/74324.html Австралийский исследовательский центр NICTA в сотрудничестве с организацией Open Kernel Labs после семи лет разработки представил основанную на микроядре seL4 платформу (http://ertos.nicta.com.au/software/) для обеспечения повышенного уровня безопасности критически важных систем. Принцип работы платформы сводится к полной изоляции работы групп приложений за счет использования низкоуровневого гипревизора, задачи которого выполняет микроядро seL4. В отличие от классических систем виртуализации микроядро seL4 является предельно минималистичным и его надежность доказана математически (http://www.opennet.ru/opennews/art.shtml?num=23011).<br><br><br>Систему планируется использовать в таких областях, как авиационные, медицинские, финансовые и автомобильные программные комплексы, для изоляции критически важных приложений от дополнительных программных компонентов, уязвимость или сбой в которых не должны никаким образом влиять на первичные приложения. Например, можно обеспечить работу на смартфоне сист...<br><br>URL: http://www.nic https://www.opennet.me/openforum/vsluhforumID3/74324.html#25 Sun, 30 Jan 2011 02:54:23 GMT &gt; ... чем можно сказать: <br><br>Пока не придумали. Это надо всю ОСь переделывать (ну или хотя бы диспетчер памяти).<br>Но ближе всего подобрались OpenVZ и Jail из FreeBSD<br><br>&gt; это приложение не имеет права читать содержимое буфера обмена, если на нем <br>&gt; стоит атрибут. А атрибут появился потому, что я номер кредитки выделил мышью<br>&gt; в секурном окружении для того, чтобы вставить в секурный браузер банк-клиента.<br>&gt; То есть, разделив на зоны безопасности, я хочу регулировать обмен данных между<br>&gt; зонами.<br><br>Ну вот, сам почти и ответил - создаются зоны, разрешением занимается гипервизор.<br><br><br><br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#24 Sun, 30 Jan 2011 01:10:55 GMT Ну, я не про такие низкоуровневые вещи спрашиваю. Мне интересно, чем можно сказать:<br>это приложение не имеет права читать содержимое буфера обмена, если на нем стоит атрибут.<br>А атрибут появился потому, что я номер кредитки выделил мышью в секурном окружении для того, чтобы вставить в секурный браузер банк-клиента.<br><br>То есть, разделив на зоны безопасности, я хочу регулировать обмен данных между зонами.<br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#23 Sat, 29 Jan 2011 18:05:22 GMT Смею предположить, что большая часть посетителей этого сайта являются пользователями/администраторами ПО, а не представителями коммерческих софтовых компаний.<br>Поэтому их свободу данные ограничения никак не затрагивают. Жаловаться на несвободность данного ПО могут только коммерсанты.<br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#22 Sat, 29 Jan 2011 16:30:13 GMT &gt; Да, он самый.<br>&gt; То, что виртуалки - это ясно. Мне другое не ясно: <br>&gt; как регулировать, какому приложению можно получать доступ к буферу обмена, а какому <br>&gt; нельзя?<br><br>Ну, этой темы на семестр лекций хватит <br><br>http://secure.wikimedia.org/wikipedia/en/wiki/Memory_barrier<br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#21 Sat, 29 Jan 2011 13:20:34 GMT Да, он самый.<br>То, что виртуалки - это ясно. Мне другое не ясно: <br>как регулировать, какому приложению можно получать доступ к буферу обмена, а какому нельзя?<br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#20 Sat, 29 Jan 2011 12:32:28 GMT Видимо, большая часть "посетителей сайта" считает несвободность для коммерческого использования... краеугольным камнем нашей демократии. Борется за неё и всячески поддерживает (=минусует). И нет, виндузятники тут не при чём.<br><br>ЗЫЖ Минусуйте меня. Нежно!<br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#19 Sat, 29 Jan 2011 09:45:03 GMT минусов наставили, а никто причину не откомментировал.... видимо студенты-вендузятники зашли на сайт :-)<br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#18 Sat, 29 Jan 2011 07:10:22 GMT Использование принципа Гёделя для троллинга нарушает принцип Оккама :)<br> https://www.opennet.me/openforum/vsluhforumID3/74324.html#16 Fri, 28 Jan 2011 20:55:41 GMT &gt;&gt; Классический - ни разу <br>&gt; Там нет выделений памяти<br><br>Не гони! mmap видишь?<br>[code]<br>execve("./a.out", ["./a.out"], [/* 90 vars */]) = 0<br>brk(0) = 0x602000<br>mmap(NULL, 4096, PROT_READ&#124;PROT_WRITE, MAP_PRIVATE&#124;MAP_ANONYMOUS, -1, 0) = 0x7f87ac4f9000<br>access("/etc/ld.so.preload", R_OK) = 0<br>open("/etc/ld.so.preload", O_RDONLY) = 3<br>fstat(3, {st_mode=S_IFREG&#124;0644, st_size=0, ...}) = 0<br>close(3) = 0<br>open("/etc/ld.so.cache", O_RDONLY) = 3<br>fstat(3, {st_mode=S_IFREG&#124;0644, st_size=124158, ...}) = 0<br>mmap(NULL, 124158, PROT_READ, MAP_PRIVATE, 3, 0) = 0x7f87ac4da000<br>close(3) = 0<br>open("/lib64/libc.so.6", O_RDONLY) = 3<br>read(3, "\177ELF\2\1\1\0\0\0\0\0\0\0\0\0\3\0&gt;\0\1\0\0\0\320\354\1\0\0\0\0\0"..., 832) = 832<br>fstat(3, {st_mode=S_IFREG&#124;0755, st_size=1482288, ...}) = 0<br>mmap(NULL, 3591112, PROT_READ&#124;PROT_EXEC, MAP_PRIVATE&#124;MAP_DENYWRITE, 3, 0) = 0x7f87abf70000<br>fadvise64(