3 т.29, 2017 - Труды Института системного программирования РАН

3 т.29, 2017 - Труды Института системного программирования РАН

Журнал: Труды Института системного программирования РАН @trudy-isp-ran

Бесплатный доступ

ID: 14915794 Короткий адрес: https://sciup.org/14915794

Содержание выпуска 3 т.29, 2017 Труды Института системного программирования РАН

Девянин П.Н. О проблеме представления формальной модели политики безопасности операционных систем 7

Козачок А.В., Кочетков Е.В. Комплекс алгоритмов функционирования системы безопасного исполнения программного кода 17

Падарян В.А. О представлении результатов обратной инженерии бинарного кода 31

Хорошилов А.В., Щепетков И.В. ADV_SPM - формальные модели политики безопасности на практике 43

Меркулов А.П., Поляков С.А., Белеванцев А.А. Анализ программ на языке Java в инструменте Svace 57

Герасимов А.Ю. Обзор подходов к улучшению качества результатов статического анализа программ 75

Беляев М.В., Шимчик Н.В., Игнатьев В.Н., Белеванцев А.А. Сравнительный анализ двух подходов к статическому анализу помеченных данных 99

Гетьман А.И., Маркин Ю.В., Евстропов Е.Ф., Обыденков Д.О. Обзор задач и методов их решения в области классификации сетевого трафика 117

Мордань В.О. Комбинация методов статической верификации композиции требований 151

Солоделов Ю.А., Горелиц Н.К. Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов 171

Шарыгин Е.Ю., Бучацкий Р.А. Обзор методов динамической компиляции запросов 179

Кузюрин Н.Н. О задаче приближенного нахождения максимальной двудольной клики 225

Sotnikov A.P., Shabaldina N.V., Gromov M.L. Experiments on parallel composition of timed finite state machines 233

Аничкин А.С., Семенов В.А. Объектно-ориентированный каркас для программной реализации приложений теории расписаний 247

Выпуск журнала