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
Выпуск журнала
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp