On 2010.04.26 21:30, Николай Федосов wrote:
Быстро доказываем, что сертификация существует для кормежки сертифицирующих органов и т.д.: 1. Баги есть есть всегда 2. за 1 год дизассемблируют и найдут дырку где угодно 3. 4 года будут делать с информацией что хотят Или, социальная инженерия решает проблему взлома еще быстрее Системное ПО без апдейтов - решето, (вспомните недавнюю дырку в bind со смешным патчем) соответственно вопрос в наполненности абстрактно-конкретных карманов и т.д.
+1 В будущем правда имеется перспектива использования формальных методов для доказательства корректности работы программы. Тогда апдейты не нужны будут. Сторонняя проверка доказательства может быть сертификационным процессом. -- С уважением, Александр Гавенко.