On 2010.04.26 21:30, Николай Федосов wrote:
Быстро доказываем, что сертификация существует для кормежки
сертифицирующих органов и т.д.:
1. Баги есть есть всегда
2. за 1 год дизассемблируют и найдут дырку где угодно
3. 4 года будут делать с информацией что хотят
Или, социальная инженерия решает проблему взлома еще быстрее
Системное ПО без апдейтов - решето, (вспомните недавнюю дырку в bind со
смешным патчем)
соответственно вопрос в наполненности абстрактно-конкретных карманов
и т.д.
+1
В будущем правда имеется перспектива использования формальных методов
для доказательства корректности работы программы.
Тогда апдейты не нужны будут.
Сторонняя проверка доказательства может быть сертификационным процессом.
--
С уважением, Александр Гавенко.
--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4bd6860f.5020...@bifit.com.ua