Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22 (2012) Восстановление структуры бинарных данных по трассам программ Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, А. И. Гетьман
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... проанализировать протокол. В данной статье представлен алгоритм анализа исходного кода языка программирования C ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... диаграмма также применяется при анализе туннельных протоколов, поскольку позволяет аналитику определить ..."
 
Том 30, № 4 (2018) Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Аннотация  похожие документы
И. А. Писарев, Л. К. Бабенко
"... безопасность. В работе рассматривается анализ безопасности криптографического протокола на этапе регистрации ..."
 
Том 26, № 1 (2014) Автоматизация тестирования соответствия для телекоммуникационных протоколов Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, В. З. Шнитман, А. В. Никешин
"... реализаций спецификациям протоколов Интернета. Во всех проектах, представленных в статье, использовалась ..."
 
Том 30, № 3 (2018) Нотация криптографической стековой машины версии один Аннотация  похожие документы
С. Е. Прокопьев
"... Хорошая спецификация криптографического протокола должна легко восприниматься человеком (быть ..."
 
Том 28, № 4 (2016) Проверка параметризованных Promela-моделей протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков, А. С. Камкин
"... В статье представлен метод масштабируемой верификации Promela-моделей протоколов обеспечения ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... В статье представлена методика масштабируемой функциональной верификации протоколов когерентности ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... протоколов; однако он может использоваться для верификации других систем, анализ которых включает сравнение ..."
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... при тестировании протоколов маршрутизации в беспроводных самоорганизующихся сетях (ad-hoc) требует ..."
 
Том 18 (2010) Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... спецификациям нового протокола безопасности IPsec v2 [1-7]. Для построения тестового набора использовалась ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... Современные микропроцессорные системы обычно включают сложную иерархию кэш-памяти. Протоколы ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них ..."
 
Том 30, № 5 (2018) Платформа межпроцедурного статического анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
А. К. Асланян
"... В рамках данной статьи описывается разработанная платформа для статического анализа бинарного кода ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... статье рассмотрены примеры работы протокола Диффи-Хеллмана и алгоритма хеширования MD5, используемые для ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
 
Том 21 (2011) Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов
"... Статический анализ является популярным средством поиска в исходном или двоичном коде программ ..."
 
Том 29, № 1 (2017) Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов
"... обоснованность примененного подхода, приведены практические результаты анализа нескольких программ из комплекта ..."
 
Том 27, № 3 (2015) Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Аннотация  PDF (Rus)  похожие документы
Александр Камкин, Михаил Петроченков
 
Том 29, № 3 (2017) Обзор подходов к улучшению качества результатов статического анализа программ Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов
"... программиста, предназначенных для анализа программ. Отрасль создания инструментальных средств статического и ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... могут содержать потенциальные ошибки. Целью данной работы является разработка методов анализа характера ..."
 
Том 30, № 3 (2018) Статический анализ для поиска переполнения буфера: актуальные направления развития Аннотация  похожие документы
И. А. Дудина
"... развитие получили различные методы статического анализа. В работе рассматриваются основные подходы и ..."
 
Том 27, № 1 (2015) Применение статической инструментации байт-кода языка Java для динамического анализа программ Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, М. К. Ермаков
"... В статье рассматривается задача проведения динамического анализа программ на языке Java при ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... Анализ помеченных данных неоднократно пытались применять для исследования безопасности бинарного ..."
 
Том 29, № 5 (2017) Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов
"... Среди методов анализа программ на наличие дефектов выделяют методы статического и динамического ..."
 
Том 32, № 3 (2020) Моделирование библиотечных функций в промышленном статическом анализаторе кода Аннотация  похожие документы
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ
"... контейнера данных, а недавно разработали модель, построенную на основе предварительного анализа исходного ..."
 
Том 28, № 5 (2016) Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов
"... различных задач анализа программ: генерация входных данных для увеличения тестового покрытия программы, для ..."
 
Том 23 (2012) «Ленивый» анализ исходного кода на языках С и С++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... сократить требуемые для анализа ресурсы. Метод основан на том факте, что каждый исходный файл подключает ..."
 
Том 30, № 5 (2018) Об одном подходе к анализу строк в языке Си для поиска переполнения буфера Аннотация  PDF (Rus)  похожие документы
И. А. Дудина, Н. Е. Малышев
"... разработки программы является статический анализ. Существующие методы статического анализа, ориентированные ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... уязвимостей безопасности с использованием межпроцедурного статического анализа помеченных данных. Цель данного ..."
 
Том 26, № 2 (2014) Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, А. О. Избышев, И. А. Дудина
"... В данной работе рассматривается задача анализа помеченных данных. Для её решения предлагается ..."
 
Том 26, № 1 (2014) Статический анализатор Svace для поиска дефектов в исходном коде программ Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов
"... В работе описывается разрабатываемый в ИСП РАН инструмент автоматического статического анализа ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... динамическом анализе. Для каждого пути выполнения программы предлагаемый метод проверяет корректность операций ..."
 
Том 29, № 1 (2017) Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков
"... автоматического анализа программ. В рамках данной статьи предлагается метод полностью автоматического ..."
 
Том 29, № 1 (2017) Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков
"... анализа программ на основе символьного исполнения к программному обеспечению, предоставляющему графический ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..."
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... других анализов. Формально поставлены три задачи анализа потока данных: анализ интервалов значений ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
 
Том 23 (2012) Обнаружение периодических наборов событий во временных базах данных Аннотация  PDF (Rus)  похожие документы
Е. A. Иванникова.
"... приложениях. Такая регулярность исследуется в области интеллектуального анализа периодических шаблонов. В ..."
 
1 - 39 из 160 результатов 1 2 3 4 5 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)