Методы верификации исходного программного кода:
- на отсутствие уязвимостей
- на отсутствие недекларированных возможностей
Методы верификации байт-кода Java:
- на отсутствие уязвимостей
- на отсутствие недекларированных возможностей
Формирование набора "мета-правил", позволяющих гарантировать отсутствие случайных ошибок при разработке.
Теория и практические методики фильтрации недоверенного ввода пользователя.
Обнаружение нехарактерного поведения программы на основе поведенческого анализа.
Робастные цифровые водяные знаки в графе исполнения байт-кода.
