Сортировать по:
| Выпуск | Название | |
| Том 38, № 1: январь-февраль | Легковесная проверка согласованности файловой системы после сбоев с помощью дифференциального фаззинга | Аннотация похожие документы |
| Вячеслав Максимович КОВАЛЕВСКИЙ, Валерий Владимирович КЕЧИН, Александр Сергеевич ЯНИН, Владимир Михайлович ИЦЫКСОН | ||
| "... таких сбоев и интеграции этого поведения в систему обнаружения ошибок файловой системы DIFFuzzer ..." | ||
| Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... обнаружить файлы и сетевые соединения, которые были открыты в момент аварийного завершения. Эта информация ..." | ||
| Том 27, № 5 (2015) | Использование симуляции сбоев при тестировании компонентов ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, А. В. Хорошилов | ||
| "... сбоев. Основная цель таких методов - проверка поведения модуля при возникновении нештатных ситуаций ..." | ||
| Том 30, № 5 (2018) | Получение содержимого удаляемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf | Аннотация PDF (Rus) похожие документы |
| С. Г. Ковалёв | ||
| "... В статье рассматриваются способы получения содержимого файлов, изменяемых в процессе работы ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... варианта ОС в виде конфигурационного файла. Этот файл верифицируется, и проходит комплексное тестирование ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... гостевых систем в эмуляторе QEMU с помощью отдельных текстовых файлов, использующих удобный для чтения ..." | ||
| Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. В. Цыварев, В. А. Мартиросян | ||
| "... В статье исследуется проблема тестирования драйверов файловых систем ОС Linux. По результатам ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... в статье, изучены и оценены. Основные вклады включают изучение причин сбоев в авторском проекте, набор ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... мы анализируем. Описание модели представляет собой конфигурационный файл, который может быть изменён ..." | ||
| Том 35, № 2 (2023) | Пути организации параллельного доступа к структурированным данным | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Дмитрий Владимирович ИВАНКОВ, Евгений Александрович БЕКЕТОВ | ||
| "... с файлами, содержащими структурированные данные. Исследования проводились на файловых системах ..." | ||
| Том 31, № 4 (2019) | Автоматизация обнаружения и анализа ошибок в гиперконвергентных системах | Аннотация PDF (Rus) похожие документы |
| Денис Владимирович Силаков | ||
| "... команды управляющих элементов с одного узла инфраструктуры могут вызвать сбой ПО на другом узле. Кроме ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... исследования произвольных исполняемых файлов операционной системы в условиях отсутствия исходных кодов с целью ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... произвольных исполняемых файлов операционной системы в условиях отсутствия исходных кодов с целью обеспечения ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... исполняемого кода, подразумевающей предварительное изменение исполняемых файлов или файлов динамических ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... -файлов. Такие файлы совместимы с хорошо известным интрументом проектирования программной архитектуры ..." | ||
| Том 37, № 2: март-апрель | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| "... ОС, целостность исполняемых и конфигурационных системных файлов и каталогов ОС, а также пользовательских данных ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... , а также форматы файлов для хранения и передачи данных об изделии, управляемых этими схемами. Это формат ..." | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| "... преобразований предлагается генерировать диверсифицированную популяцию исполняемых файлов компилируемого ..." | ||
| Том 34, № 5 (2022) | Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ | ||
| "... Natch – это инструмент для получения поверхности атаки, то есть поиска исполняемых файлов ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... , необходимо анализировать конфигурационный файл Kconfig помимо исходного кода. Ядро содержит десять тысяч ..." | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... сократить требуемые для анализа ресурсы. Метод основан на том факте, что каждый исходный файл подключает ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... (объектов доступа, файлов, каталогов, сокетов и др.) и субъектов (процессов) эти механизмы имеют сложную ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... сетевых сообщений и файлов, входящих и исходящих потоков бинарных данных. Помимо того, в работе предложен ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Поддержка процессов верификации средств защиты информации на основе формальных моделей политик управления доступом: инструмент АНИС | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Александр Константинович ПЕТРЕНКО | ||
| "... доступом к информационным объектам, таким как файлы, директории, пользовательские процессы и др. В качестве ..." | ||
| Том 29, № 6 (2017) | Мелкогранулярная рандомизация адресного пространства программы при запуске | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков | ||
| "... времени запуска и размера файла. Отдельное внимание уделяется оценке эффективности противодействия ..." | ||
| Том 31, № 4 (2019) | Технология и методы отложенного синтеза 4K-стереороликов для сложных динамических виртуальных сцен | Аннотация PDF (Rus) похожие документы |
| Петр Юрьевич Тимохин, Михаил Васильевич Михайлюк, Евгений Михайлович Вожегов, Клим Денисович Пантелей | ||
| "... вытесняющей жидкости. В исследовании предлагается разработанный оригинальный файловый формат «scr» сценария ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... инструмента анализа, позволяющего выявлять потенциально опасные конструкции кода в бинарных файлах трастлетов ..." | ||
| 1 - 27 из 27 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
