Сортировать по:
| Выпуск | Название | |
| Том 36, № 5 (2024) | Конструирование программных систем, нацеленное на обеспечение безопасности | Аннотация PDF (Rus) похожие документы |
| Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Екатерина Александровна РУДИНА | ||
| "... Конструктивная информационная безопасность — один из подходов, нацеленных на обеспечение ..." | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... выражениям представляет собой актуальное направление в области сетевой безопасности, где критически важны ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... активации уязвимости. Предикат безопасности представляет собой дополнительные символьные уравнения ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... с использованием оценки уровня их угроз и модель оценки уровня угроз безопасности информации, обрабатываемой ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... рассмотрение необходимо для обеспечения надежности, безопасности и элволюционного развития в течение ..." | ||
| Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация похожие документы |
| А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
| "... -приложениях в рамках сертификации по требованиям безопасности информации обусловлена тем, что веб-технологии ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... спецификациям протокола безопасности TLS. Для построения тестового набора использовалась технология ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... информационной безопасности и системного программирования и отразить лучшие практики разработки такого ..." | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| "... Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических ..." | ||
| Том 20 (2011) | Развитие taint-анализа для решения задачи поиска программных закладок | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... into the software functional object which under certain circumstances can initialize an implementation of software ..." | ||
| Том 33, № 2 (2021) | Исследование задачи обеспечения безопасности при хранении и обработке конфиденциальных данных | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич МАРТИШИН, Марина Валерьевна ХРАПЧЕНКО, Александр Владимирович ШОКУРОВ | ||
| "... протокола обеспечения безопасности доступа к облачным хранилищам данных может быть противник. Рассмотренные ..." | ||
| Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
| Д. В. Силаков | ||
| "... информационной безопасности. Предлагается обзор подходов к повышению безопасности программных систем, основанных ..." | ||
| Том 27, № 3 (2015) | Удаленное обслуживание системных вызовов в микроядерном гипервизоре | Аннотация PDF (Rus) похожие документы |
| К. Маллачиев, Н. Пакулин | ||
| "... This paper presents further development of Sevigator hypervisor-based security system. Original ..." | ||
| Том 29, № 5 (2017) | Моделирование программно-аппаратных систем и анализ их безопасности | Аннотация PDF (Rus) похожие документы |
| С. В. Зеленов, С. А. Зеленова | ||
| "... -аппаратных систем AADL и его расширения Error Model Annex для описания требований безопасности проектируемой ..." | ||
| Том 38, № 3: часть 4. май-июнь | Механизмы управления доступом на основе жетонов для микроядра общего назначения | Аннотация PDF (Rus) похожие документы |
| Евгений Сергеевич БАСКОВ, Алексей Владимирович ХОРОШИЛОВ, Александр Константинович ПЕТРЕНКО | ||
| "... жетонов (capability-based security) в ядрах операционных систем, обсуждается, как принятые разработчиками ..." | ||
| Том 33, № 1 (2021) | Безопасная реализация виртуальной сети на плоскости данных SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... поддержать и обеспечить сертифицируемость разработки критичных по безопасности сложных систем в соответствии ..." | ||
| Том 37, № 2: март-апрель | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| "... Механизм мандатного контроля целостности (МКЦ) – фундамент безопасности сертифицированной ..." | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| "... Дается анализ проблематики надежности и безопасности в мировой практике и в нашей стране ..." | ||
| Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) похожие документы |
| Артемий Сергеевич ЮРЬЕВ | ||
| "... дефекты информационной безопасности или отказы. Однако такая практика может требовать привлечений больших ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... , безопасности, надежности и производительности. Те подходы к обеспечению качества программных систем, которые ..." | ||
| Том 37, № 3: май-июнь | Тестирование в жизненном цикле автоматизированных систем | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН | ||
| "... Software testing of automated systems at different stages of their life cycle (LC) differs ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... . A general description of the architecture of the system and the software used for its implementation ..." | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| "... Уязвимости программного обеспечения представляют серьезную угрозу безопасности информационной ..." | ||
| Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
| А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
| "... Обеспечение безопасности программного обеспечения является на сегодняшний день одной ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... В статье рассматривается актуальная проблема обеспечения безопасности программного обеспечения ..." | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| "... Автоматизация процессов тестирования и анализа безопасности играет важную роль при разработке ..." | ||
| Том 38, № 2: март-апрель | Направленный фаззинг Rust и Go с помощью LibAFL-DiFuzz | Аннотация похожие документы |
| Тимофей Павлович МЕЖУЕВ, Дарья Алексеевна ПАРЫГИНА, Даниил Олегович КУЦ | ||
| "... vulnerabilities before software release, with fuzzing being a fast and widely used dynamic testing method. However ..." | ||
| Том 35, № 4 (2023) | Анализ системы контроля доступа в гетерогенных системах больших данных | Аннотация PDF (Rus) похожие документы |
| Мария Анатольевна ПОЛТАВЦЕВА, Максим Олегович КАЛИНИН | ||
| "... грануляцию данных и модели контроля доступа. Согласование таких компонентов администратором безопасности ..." | ||
| Том 37, № 4: часть 2. июль-август | Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ | ||
| "... востребованы как никогда – они обеспечивают безопасность программного обеспечения и соответствие требованиям ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... безопасности информации, обрабатываемой на объектах, при этом является создание изолированной программной среды ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... управления доступом ее подсистемой безопасности PARSEC реализуются механизмы мандатного контроля целостности ..." | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна ЕРОХИНА | ||
| "... в интерпретаторах JavaScript. Данный метод может быть использован для повышения безопасности веб-браузеров ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... задач анализа безопасности бинарного кода. Автоматизация решения этой задачи затруднена и требует ..." | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| "... безопасности — условий на входные данные, при выполнении которых будет проявлена ошибка. В этой работе ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... and security. JetOS is being developed primarily for onboard equipment based on the integrated modular avionics ..." | ||
| Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
| Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
| "... безопасности, задаче оценки стойкости обфускации придается очень большое значение, начиная с самых первых работ ..." | ||
| Том 35, № 1 (2023) | Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений | Аннотация PDF (Rus) похожие документы |
| Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ | ||
| "... to the developers of this software. One of them was identified as CVE-2022-24108. Based on the results ..." | ||
| Том 31, № 6 (2019) | О возможности стойкой обфускации программ в одной модели облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Шокуров, Ирина Валерьевна Абрамова, Николай Павлович Варновский, Владимир Анатолиевич Захаров | ||
| "... в связи с изучением задачи обеспечения информационной безопасности мультиклиентских распределенных ..." | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) похожие документы |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... фактическим стандартом в отраслях, где безопасность играет ключевую роль. Стандарт разработан консорциумом ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... : невозможно добиться достаточной безопасности современных программ без изучения свойств исполняемого кода ..." | ||
| Том 37, № 3: май-июнь | Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ | ||
| "... The paper discusses methods of runtime verification of software systems that are security ..." | ||
| Том 31, № 2 (2019) | Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» | Аннотация похожие документы |
| Андрей Николаевич Черных, Аллел Хаджали | ||
| "... , обнаружение аномалий, групповая робототехника, нейронные сети, машинное обучение, безопасность, схемы ..." | ||
| Том 37, № 5: сентябрь-октябрь | Применение инструмента SVAN статического анализа описаний аппаратуры для верификации открытых тестовых наборов | Аннотация PDF (Rus) похожие документы |
| София Максимовна ПАНОВА, Сергей Александрович СМОЛОВ, Марина М. ВОЛКОВА | ||
| "... и предоставляет средства формального и эвристического анализа HDL-описаний, нацеленные на выявление синтаксических ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... , в частности, методов проверки свойств безопасности и надежности программ, а также функциональной верификации ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... программного обеспечения. В жизненный цикл программы добавляются этапы для проверки свойств ее безопасности ..." | ||
| Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов | ||
| "... на соответствие требованиям пользователей, так и на наличие критических дефектов и уязвимостей безопасности. Одним ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Обзор существующих методов анализа полносистемного покрытия кода | Аннотация PDF (Rus) похожие документы |
| Аркадий Алексеевич ИВАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... методологии безопасной разработки (SDL), направленной на интеграцию мер безопасности на всех этапах разработки ..." | ||
| Том 38, № 3: часть 4. май-июнь | Обзор языковых виртуальных машин и подходов к их тестированию | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... классов, гарантирует определенный уровень безопасности исполняемой программы. В настоящее время существует ..." | ||
| Том 33, № 6 (2021) | Система маркирования документов для проведения расследований при их утечке | Аннотация PDF (Rus) похожие документы |
| Дмитрий Олегович ОБЫДЕНКОВ, Алексей Юрьевич ЯКУШЕВ, Юрий Витальевич МАРКИН, Александр Евгеньевич ФРОЛОВ, Станислав Александрович ФОМИН, Сергей Викторович КОЗЛОВ, Дмитрий Дмитриевич ГРОМЕЙ, Александр Васильевич КОЗАЧОК, Борис Владимирович КОНДРАТЬЕВ | ||
| "... напечатанных документов, а также фотографии документов на экране монитора. Таким образом, система нацелена ..." | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... абстрактного автомата, формулирования и осуществления доказательств выполнения условий безопасности ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| "... разработчику программного обеспечения исправлять ошибки, которые представляют наибольшую угрозу безопасности ..." | ||
| Том 26, № 6 (2014) | Исследование отказоустойчивой маршрутизации в беспроводных сенсорных сетях | Аннотация PDF (Rus) похожие документы |
| В. Х. Ла, А. Кавалли | ||
| "... областей для их применения и повышению требований к обеспечению безопасности и надежности сетей ..." | ||
| 1 - 53 из 66 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
