Исходное сообщение
"Архитектура системы верификации кода драйверов Linux" Отправлено pavlinux, 15-Ноя-11 01:26
Тут много чего полезного. http://www.ispras.ru/ru/proceedings/archives Питерцы тоже рулят!!! http://se.math.spbu.ru/SE http://www.sysprog.info/issues_2010.html --- http://www.ispras.ru/ru/proceedings/archives/isp_18_2010/isp... Прозрачный механизм удаленного обслуживания системных вызовов. Аннотация В статье рассматривается подход к удаленному обслуживанию системных вызовов, не требующий модификации кода пользовательского приложения и операционной системы. Использование технологии аппаратной виртуализации для перехвата системных вызовов, чтения их параметров и записи результатов позволяет делегировать обслуживание перехваченных системных вызовов другой системе: виртуальной, выполняющейся на этом же физическом компьютере, или даже другой машине в сети. Возможность предоставлять отдельным процессам контролируемый доступ к ресурсам, к которым сама операционная система доступа не имеет, позволяет эффективно решать некоторые задачи компьютерной безопасности.