Сортировать по:
| Выпуск | Название | |
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... требований к программному коду, который позволит в дальнейшем предъявлять требования на этапе статического ..." | ||
| Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) похожие документы |
| Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
| "... надежности и безопасности программных систем, занимающий среди них достаточно важное место. Он развивается ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... безопасного исполнения программного кода. Функциональным предназначением данной системы является проведение ..." | ||
| Том 37, № 1: январь-февраль | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| "... . В работе описана разработанная методика для поиска уязвимостей в программном обеспечение (Далее ..." | ||
| Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
| А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
| "... Обеспечение безопасности программного обеспечения является на сегодняшний день одной ..." | ||
| Том 34, № 1 (2022) | Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования | Аннотация похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... существующей документацией программы является пользовательская документация, описывающая программный интерфейс ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... исполнения программного кода. Функциональным предназначением данной системы является проведение исследования ..." | ||
| Том 36, № 3 (2024) | Обнаружение вредоносной активности в проектах с открытым исходным кодом с помощью методов машинного обучения | Аннотация похожие документы |
| Станислав Александрович РАКОВСКИЙ | ||
| "... платформой с открытым исходным кодом: каждый может зарегистрировать пользователя в PyPI и опубликовать свой ..." | ||
| Том 27, № 3 (2015) | Бесшовная разработка программного обеспечения: применимость на примере | Аннотация PDF (Rus) похожие документы |
| Александр Наумчев | ||
| "... В рамках традиционной программной инженерии требования и код развиваются в двух параллельных мирах ..." | ||
| Том 37, № 4: часть 1. июль-август | Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Дмитрий Михайлович МЕЛЬНИК, Рубен Артурович БУЧАЦКИЙ | ||
| "... Миграция приложений – это процесс переноса программного обеспечения с одной платформы или версии ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| "... В статье рассматривается метод оценки эксплуатируемости программных дефектов. Применение данного ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... кода и подтверждает эффективность статического анализа в обеспечении безопасности программного ..." | ||
| Том 35, № 1 (2023) | Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений | Аннотация PDF (Rus) похожие документы |
| Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ | ||
| "... десериализации при взаимодействии между клиентским кодом и серверной стороной веб–приложения. Особое внимание ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... статического и динамического анализа программного кода системного ПО с учётом его специфики. В-четвертых ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... В статье рассматриваются подходы и способы выполнения кода с использованием уязвимостей ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... устройств, составляет несколько миллионов строк кода на языке программирования Си/Си++ и языке ассемблера ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... Рассмотрен широкий круг вопросов теории и практики разработки крупномасштабного программного ..." | ||
| Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... кода при отсутствии исходных текстов, с целью выявления некоторых видов программных закладок. Согласно ..." | ||
| Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация похожие документы |
| А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
| "... от межсайтовой подделки запросов для разработчиков, планирующих проведение сертификации своего программного ..." | ||
| Том 34, № 6 (2022) | Система метрик для языков программирования | Аннотация похожие документы |
| Тимур Расимович ФАЙЗРАХМАНОВ | ||
| "... коллекцию в виде отдельного файла с открытым исходным кодом (здесь в качестве приложения), чтобы каждый мог ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Сравнение объектно-ориентированного и процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Павел Владимирович КОСОВ, Александр Иванович ЛЕГАЛОВ | ||
| "... альтернативных ситуаций в процессе выполнения программ, обеспечивая гибкое расширение ранее написанного кода ..." | ||
| Том 38, № 3: часть 2. май-июнь | Рефакторинг исходного кода на основе LLM и расширения UML | Аннотация PDF (Rus) похожие документы |
| Екатерина Андреевна КАРАВАЕВА, Людмила Александровна РЕЗУНИК, Леон Андреевич КУЛИГИН, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять ..." | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... , которая могла бы предоставить площадку для экспериментов с различными методами статического анализа кода ..." | ||
| Том 30, № 5 (2018) | Подход к анализу исполняемого кода на основе восстановления программной архитектуры | Аннотация PDF (Rus) похожие документы |
| Д. С. Кононов | ||
| "... программном модуле на основе предварительного восстановления программной архитектуры в ходе анализа ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| "... программных ошибок по сравнению с формальным определением мёртвого кода. ..." | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..." | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... программных дефектов. На этапе тестирования промышленного программного обеспечения выявляется значительное ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... для генерации программного кода из естественного языка. Основной целью исследования является оценка ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода ..." | ||
| Том 37, № 4: часть 2. июль-август | Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ | ||
| "... востребованы как никогда – они обеспечивают безопасность программного обеспечения и соответствие требованиям ..." | ||
| Том 37, № 2: март-апрель | Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования | Аннотация PDF (Rus) похожие документы |
| Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН | ||
| "... автоматического синтеза аналоговой ИС от спецификации до топологии без участия эксперта с помощью программных ..." | ||
| Том 32, № 2 (2020) | Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка | Аннотация похожие документы |
| Евгений Валерьевич ТИМОЩУК | ||
| "... Требования к программному обеспечению достаточно трудно объективно измерить по критериям качества ..." | ||
| Том 38, № 2: март-апрель | Направленный фаззинг Rust и Go с помощью LibAFL-DiFuzz | Аннотация похожие документы |
| Тимофей Павлович МЕЖУЕВ, Дарья Алексеевна ПАРЫГИНА, Даниил Олегович КУЦ | ||
| "... и автоматическое тестирование имеют важное значение для минимизации уязвимостей перед выпуском программного ..." | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| "... Современное программное обеспечение стремительно развивается, принося новые ошибки, и все больше ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... программного обеспечения сервисы для трансформации кода. Такие сервисы могут использоваться как для ..." | ||
| Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
| "... эксплойтов повторного использования кода. Такие эксплойты используют код, уже содержащийся в уязвимом ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... программным обеспечением, состоящим из компонентов технологии TrustZone. Представлены результаты анализа ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... Обнаружение недекларированных возможностей программного обеспечения является одной из основных ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... Существенная часть программного обеспечения написана на языках программирования C/C++. Программы ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... В последнее время всё больше компаний, производящих программное обеспечение, заинтересованы ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... Текущий стандарт надежного программного обеспечения для бортовых контроллеров – это ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... технология автоматического тестирования UniTESK [8] и программный пакет CTesK [9], реализующий эту технологию ..." | ||
| Том 34, № 5 (2022) | Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле | Аннотация PDF (Rus) похожие документы |
| Антон Витальевич ГАРАЩЕНКО, Дарья Сергеевна ЛАШИНА, Святослав Александрович НИКИТИН, Артём Валерьевич НИКОЛАЕВ, Евгений Андреевич ПРОКОПЬЕВ, Федор Михайлович ПУТРЯ, Булат Намсараевич ЦЫРЕНЖАПОВ | ||
| "... tools for a certain stage of the verification flow based on a formal stage description and requirements ..." | ||
| Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
| Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
| "... проанализировать протокол. В данной статье представлен алгоритм анализа исходного кода языка программирования ..." | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| "... и совместного анализа кода и данных. Ключевым элементом для решения всех этих задач является универсальная ..." | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) похожие документы |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... позволяют использовать язык C для разработки безопасного, надежного и переносимого программного обеспечения ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Генерация кода исполняемой модели Event-B на языке Python | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН | ||
| "... поведения модели при помощи сгенерированного на основе модели программного кода. Предлагаемая методика ..." | ||
| Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) похожие документы |
| Артемий Сергеевич ЮРЬЕВ | ||
| "... Сегодня фаззинг, фаззинг-тестирование является основной техникой тестирования программного ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами ..." | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... , integrity, security, manageability and information support for data exchange between the remaining lifecycle ..." | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна ЕРОХИНА | ||
| "... код на веб-странице и требуют постоянной поддержки новых стандартов языка и усложнения своей ..." | ||
| 1 - 53 из 92 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
