Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 1 (2024) Фаззинг полиморфных систем в структурах микросервисов Аннотация  PDF (Rus)  похожие документы
Артемий Сергеевич ЮРЬЕВ
"... functions. Fuzzing allows identify vulnerabilities or software failures. However, this practice may require ..."
 
Том 36, № 3 (2024) Платформа автоматизации фаззинг-тестирования компонентов операционной системы Аннотация  PDF (Rus)  похожие документы
Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ
"... it allows vulnerabilities to be detected and fixed at an early stage. This article presents the development ..."
 
Том 35, № 5 (2023) Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов Аннотация  PDF (Rus)  похожие документы
Наталья Сергеевна ЕРОХИНА
"... Fuzzing of JavaScript engines is one of the most difficult areas in web-browser testing due ..."
 
Том 33, № 5 (2021) Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... with existing fuzzing tools; the ability to conduct distributed analysis. ..."
 
Том 34, № 4 (2022) Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС Аннотация  PDF (Rus)  похожие документы
Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН
"... Fuzzing as a part of the continuous integration is a necessary tool, aimed primarily ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... Randomized testing (fuzzing) is a well-known approach for finding bugs in programs. Fuzzing ..."
 
Том 37, № 2 (2025) Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика Аннотация  PDF (Rus)  похожие документы
Григорий Романович РАЙКИН, Максим Сергеевич ПЕЛЕВИН, Владимир Михайлович ИЦЫКСОН
"... under the test. Mutation-based fuzzing tools generate test data by applying modifications (mutations ..."
 
Том 31, № 5 (2019) Повышение эффективность фаззинга с помощью интервальных мутаций Аннотация  похожие документы
Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев
"... . Effective fuzzing of an application which has input validation stage is a relevant and important problem ..."
 
Том 33, № 4 (2021) Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН
"... requirements prompts the creation of tools for their automated testing. Fuzzing within the security development ..."
 
Том 30, № 6 (2018) Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Аннотация  похожие документы
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков
"... execution and static code analysis with fuzzing to increase efficiency of each component. During fuzzing we ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... . Fault injection and fuzzing are the methods of testing used for checking code coverage quality ..."
 
Том 34, № 4 (2022) Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... (embedded linux fuzzing) tool that provides functionality for use in conventional dynamic analysis tools ..."
 
Том 34, № 5 (2022) Метод восстановления протокольных автоматов по бинарному коду Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ
"... manner by in-memory fuzzing based on a "floating" fork-server to manage states transitions. Finally ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... . There are various ways that used for finding software bugs. Fuzzing and dynamic symbolic execution are often used ..."
 
Том 37, № 3 (2025) Тестирование в жизненном цикле автоматизированных систем Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН
"... Тестирование ПО автоматизированных систем на разных стадиях их жизненного цикла отличается по ..."
 
Том 34, № 2 (2022) Поиск ошибок в бинарном коде методами динамической символьной интерпретации Аннотация  похожие документы
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ
"... follow security development lifecycle (SDL). Fuzzing and symbolic execution are among the most popular ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... in the attack surface are possible sources of software vulnerabilities, so they should be given an increased ..."
 
Том 34, № 3 (2022) Исследование свойств алгоритма слайсинга предиката пути Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ
"... that combines fuzzing and dynamic symbolic execution showed even greater efficiency than classical fuzzing ..."
 
Том 35, № 1 (2023) Развертывание микросервисов Аннотация  похожие документы
Виктор М. НИНЬО-МАРТИНЕС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавье ЛИМОН, Хуан Карлос ПЕРЕС-АРРИАГА
"... distributed systems. Practitioners have adopted the microservices architecture to cope with the challenges ..."
 
Том 28, № 2 (2016) Refinement типы для языка Jolie Аннотация  похожие документы
Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера
"... Jolie is the first language for microservices and it is currently dynamically type checked ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... of security vulnerabilities using interprocedural static taint analysis. The goal of this study is to develop ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... Approaches for code execution using program vulnerabilities are considered in this paper ..."
 
Том 27, № 2 (2015) Тестирование реализаций клиента протокола TLS Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
"... , and present brief results. This approach has proved his efficiency, various errors and vulnerabilities had ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... to solve this problem in practice. Generated exploit confirms the presence of a critical vulnerability ..."
 
Том 33, № 6 (2021) Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА
"... освобожденной памяти в стеке. Приведенное в статье тестирование показывает, что накладываемое описанными ..."
 
Том 36, № 5 (2024) Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников Аннотация  PDF (Rus)  похожие документы
Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ
"... for centralized management of target terminal devices of nanosatellites based on microservice architecture ..."
 
Том 36, № 6 (2024) Предметно-ориентированное проектирование в микросервисной архитектуре Аннотация  похожие документы
Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН
"... of business domains or legacy monolithic systems into microservices, there is a lack of concrete information ..."
 
Том 34, № 1 (2022) Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы Аннотация  похожие документы
Борис Аронович ПОЗИН, Григорий Наумович ЦИПЕРМАН
"... architectures of systems, to the selection of criteria and identification of microservices. It is shown how ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... vulnerabilities and other specification deviations in the EAP implementations. ..."
 
Том 33, № 1 (2021) Паттерны микросервисной архитектуры: многопрофильный обзор литературы Аннотация  PDF (Rus)  похожие документы
Хосе Али ВАЛЬДИВИЯ, Алонсо ЛОРА-ГОНСАЛЕС, Ксавье ЛИМОН, Карен КОРТЕС-ВЕРДИН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС
"... A Microservice Architecture enables the development of distributed systems using a set of highly ..."
 
Том 36, № 1 (2024) Направления будущих исследований и рекомендации по развитию микросервисной архитектуры Аннотация  PDF (Rus)  похожие документы
Желько СТОЯНОВ, Илья ХРИСТОСКИЙ, Елена СТОЯНОВА, Александра СТОЙКОВА
"... Microservices are the most promising direction for developing heterogeneous distributed software ..."
 
Том 34, № 4 (2022) Автоматическое тестирование LLVM-программ со сложными входными структурами данных Аннотация  PDF (Rus)  похожие документы
Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ
"... and vulnerability finding. The main goal of this paper is to present a practical symbolic execution-based approach ..."
 
Том 32, № 5 (2020) Модельный подход к обеспечению безопасности и надежности Web-сервисов Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ
"... . Должны проводиться верификация и тестирование систем для поиска ошибок, возникающих при исключительных ..."
 
Том 33, № 1 (2021) Цифровые двойники в туманных вычислениях: организация обработки данных с сохранением состояния на базе микропотоков работ Аннотация  PDF (Rus)  похожие документы
Амир Басим Абдуламир АЛААСАМ, Глеб Игоревич РАДЧЕНКО, Андрей Николаевич ЧЕРНЫХ, Хосе Луис ГОНСАЛЕС-КОМПЕАН
"... of the recent solutions providing the development of loosely coupled distributed systems is a Microservice ..."
 
Том 28, № 6 (2016) Классификация ROP гаджетов Аннотация  PDF (Rus)  похожие документы
А. В. Вишняков
"... , a certain set of gadgets should be available to exploit a vulnerability. Determining gadgets that can ..."
 
Том 33, № 4 (2021) Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением Аннотация  PDF (Rus)  похожие документы
Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ
"... Aggressive optimization in modern compilers may uncover vulnerabilities in program code that did ..."
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
"... In this paper search method for format string vulnerabilities is presented. The method is based ..."
 
Том 37, № 3 (2025) Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения Аннотация  PDF (Rus)  похожие документы
Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО
"... , displaying vulnerabilities and methods of possible enemy actions. The authors have developed a methodology ..."
 
Том 32, № 3 (2020) Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» Аннотация  похожие документы
Никита Дмитриевич БАРСУКОВ, Иван Михайлович СЫСОЕВ, Алина Александровна ПЕРЕСКОКОВА, Игорь Валерьевич НИКИФОРОВ, Денисс ПОСМЕТНЫЙС
 
1 - 39 из 244 результатов 1 2 3 4 5 6 7 > >> 

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

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