|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Victor Krapivin 2:5080/1003 02 Feb 2006 16:45:46
To : Aleksey Barabanov
Subject : Re:выбоp linux
--------------------------------------------------------------------------------
> Hапример, если отталкиваться от самого пользователя и его аутентификации, то
> на это можно собрать все его операции. Или наоборот, от каждой операции
> подниматься до пользователя и там проверять аутентификацию.
>
> Если в эту последовательность добавить еще и профиль программы, то выходит,
> что лучше идти не от skb ;)
Hу, есть еще вариант подменить в таблице сисколлов и плясать оттуда,
только ныне не ведро 2.2, где сие прокатывало на раз 8-)
> Кстати, на счет профилей. Во всех обсуждаемых системах они создаются
> по-факту работы самой программы.
Просто пока что нет готовых профилей. Скажем обложить заранее
подготовленными профилями того же Апача - вполне себе разумное действие,
хоть и трудоемкое. А тот же named например или еще какое решето - так
просто напрашивается. Это sshd ими не стреножишь 8-)
Разумеется, я не только про сеть, но и про доступ к файлам. B вот тут
как раз имя процесса начинает играть роль - у меня оно вылезло именно
отсюда. Вариант каждому процессу по uid - как-то дубовато выглядит, да и
не решает ничего для любого сервера с авторизацией...
> Как в selinux так и в core force запускается режим регистрации и по
> протоколу создается профиль.
Это только один из возможных вариантов. Его реализовать проще, чем
подготавливать presets заранее, вот пока популярности не набрали -
пользуются. Хотя для пользователей интересны именно готовые полиси, в
процессе работы (интерактивно или по факту прогона) ответы на левые
вопросы задалбывают очень быстро.
Да и не всегда они возможны, ибо обеспечить наиболее полный охват всех
возможностей на тестовом прогоне - задача нетривиальная. Hедаром работа
QA в теории не автоматизируется и вообще речь идет о процентах.
> Это не избавляет от ошибок. И главное, не гарантирует 100% верификации.
Hу, 100% верификации у нас еще и в теории нет.
> Да и вообще, чем больше код, тем яснее что он должен делать, а не то, что он
> делать не должен.
Вот имено поэтому относительно легко определить контракт "что можно", и
на этот код - навесить его выполняемость, во избежание.
--
Viktor
--- ifmail v.2.15dev5
* Origin: Zaval CE (2:5080/1003@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
