Подтверждающий код
-
Основы подтверждающего кода
- Подтверждающий код (PCC) используется для проверки приложений на соответствие политике безопасности хост-системы.
- PCC позволяет быстро проверять достоверность доказательств и сравнивать их с политикой безопасности.
- PCC полезен для предотвращения проблем с памятью, таких как переполнение буфера.
-
История и применение
- PCC был описан в 1996 году Джорджем Некулой и Питером Ли.
- Пример использования PCC — пакетные фильтры, которые проверяют, нужно ли обрабатывать сетевые пакеты.
- Традиционные методы фильтрации пакетов имеют недостатки в производительности.
-
Процесс проверки
- PCC включает доказательство теоремы, которое присоединяется к машинному коду и проверяется загрузчиком программы ядра.
- Если код изменяется или доказательство становится недействительным, код становится либо недействительным, либо безопасным.
-
Дополнительные ресурсы
- Ссылки на публикации и диссертации, связанные с PCC, приведены в конце статьи.