Сортировать по:
| Выпуск | Название | |
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... Верификация драйверов ОС Linux - это широкая область для применения различных методов верификации ..." | ||
| Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Существующие исследования, которые посвящены анализу развития ядра операционной системы Linux ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... Ядро операционной системы Linux - это частый пример современных инженерных решений в области ..." | ||
| Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
| "... В средах системного программного обеспечения циркулирует огромное количество информации, поэтому ..." | ||
| Том 37, № 2: март-апрель | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| "... по высшим классам защиты и уровням доверия операционной системы (ОС) Astra Linux, обеспечивающий наряду ..." | ||
| Том 33, № 5 (2021) | Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... Linux. Непосредственное применение существующих средств для анализа программного обеспечения ..." | ||
| Том 38, № 3: часть 1. май-июнь | Подход к применению мандатного контроля целостности в ОС Astra Linux для управления доступом к пользовательским данным | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Вадим Владимирович ГОРБАТОВ, Арсений Александрович ТРУБНИКОВ | ||
| "... Мандатный контроль целостности (МКЦ) в операционной системе (ОС) Astra Linux как в ряде других ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... В операционной системе (ОС) Astra Linux кроме традиционного для большинства ОС дискреционного ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... Most of the software model checker tools do not scale well on complicated software. Our goal ..." | ||
| Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
| Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
| "... operating systems, and it uses free software components such as SwingX, JHDF5, Jzy3D, RSyntaxTextArea ..." | ||
| Том 32, № 3 (2020) | Трассировка сетевых пакетов в ядре Linux с использованием eBPF | Аннотация похожие документы |
| Марк Германович КОВАЛЕВ | ||
| "... и устранения таких проблем, их функциональность ограничена программным интерфейсом, предоставляемым ядром Linux ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... Операционная система Linux - это современная открытая операционная система, содержащая более 10 000 ..." | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... Механизм управления доступом является базовым для обеспечения безопасности системного программного ..." | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... системным программным обеспечением, например, операционной системой (ОС) или системой управления базами ..." | ||
| Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... специальный компонент анализа. Такой компонент присутствует как в ОС Windows, так и в ОС на базе Linux ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... Competition on Software Verification in category DeviceDrivers64 which contains verification tasks based ..." | ||
| Том 34, № 4 (2022) | Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС | Аннотация PDF (Rus) похожие документы |
| Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН | ||
| "... эффективность проведения тестирования компонентов защищенной ОС Astra Linux. ..." | ||
| Том 30, № 5 (2018) | Информатика: становление программного обеспечения и технологий программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... обеспечения, в том числе системных и прикладных программных систем, начиная от периода появления первых ЭВМ ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... processing systems gives rise to the necessity of implementing the new components and software ..." | ||
| Том 31, № 6 (2019) | О возможности стойкой обфускации программ в одной модели облачных вычислений | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Шокуров, Ирина Валерьевна Абрамова, Николай Павлович Варновский, Владимир Анатолиевич Захаров | ||
| "... with cryptoservers to obfuscate software programs. Earlier, we proposed this cloud computing model in our study ..." | ||
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| "... к использованию процессов программной и системной инженерии при создании сложных систем в целом и воздушных судов ..." | ||
| Том 35, № 1 (2023) | Систематический обзор литературы по стандарту ISO/IEC 29110 и образованию в области программной инженерии | Аннотация похожие документы |
| Луис ВИВЕС, Карин МЕЛЕНДЕC, Авраам ДАВИЛА | ||
| "... cycle profiles for very small entities on systems and software engineering standard, published in many ..." | ||
| Том 33, № 1 (2021) | Смягчение неопределенности при разработке научных приложений в интегрированной среде | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ЧЕРНЫХ, Игорь Вячеславович БЫЧКОВ, Александр Геннадьевич ФЕОКТИСТОВ, Сергей Алексеевич ГОРСКИЙ, Иван Александрович СИДОРОВ, Роман Олегович КОСТРОМИН, Алексей Владимирович ЕДЕЛЕВ, Валерий Иванович ЗОРКАЛЬЦЕВ, Арутюн Ишханович АВЕТИСЯН | ||
| "... интеграцию, доставку и развертывание прикладного и системного программного обеспечения пакетов. Это помогает ..." | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| "... . These transformations were implemented in GCC. It successfully diversifies whole operational system including Linux ..." | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... safety-critical systems certifiable according to international and domestic standards and regulations ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... предметных областей, связанных с прикладным и системным программным обеспечением. Такое многостороннее ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... подсистемы поддержки терминальных устройств ядра ОС Linux. ..." | ||
| Том 34, № 5 (2022) | Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ | ||
| "... в CI/CD для интеграционного и системного тестирования. Уточненная поверхность атаки позволит поднять ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... новый метод статической верификации модулей ядра ОС Linux, который позволяет конфигурировать процесс ..." | ||
| Том 33, № 3 (2021) | Транскрипция исторических записей актов гражданского состояния с использованием экстремального модельно-управляемого подхода | Аннотация похожие документы |
| Раффлезия ХАН, Александр ШИВЕК, Сиара БРЕТНАХ, Тициана МАРГАРИА | ||
| "... с помощью соответствующей абстракции. Системная инженерия, управляемая моделями, определяет и объединяет ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Семейство операционных систем КЛОС | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Александр Сергеевич КОСАЧЕВ, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Виталий Юрьевич ЧЕПЦОВ | ||
| "... пространственная (по памяти) и временнáя (по гарантиям времени отклика) изоляция функционального и системного ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... ; системных вызовов через программное прерывание; библиотеки ядра для работы с примитивами синхронизации ..." | ||
| Том 34, № 2 (2022) | Реализация функций управления задачами и ресурсами высокопроизводительной вычислительной системы в "СПО Супер-ЭВМ" | Аннотация PDF (Rus) похожие документы |
| Алексей Олегович ИГНАТЬЕВ, Алексей Алексеевич КАЛИНИН, Сергей Юрьевич МОКШИН | ||
| "... ВВС, исследования, показывают, что базовых возможностей программного обеспечения Slurm (Simple linux ..." | ||
| Том 36, № 5 (2024) | Эффективность систем одинаково распределенных конкурирующих процессов при неограниченном и ограниченном параллелизме | Аннотация PDF (Rus) похожие документы |
| Павел Александрович ПАВЛОВ | ||
| "... системных расходов. ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... Recently, product data management systems (PDM) are widely used to conduct complex ..." | ||
| Том 31, № 6 (2019) | Кэширование данных в мультиконтейнерных системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Андреевич Грушин, Денис Олегович Лазарев, Станислав Александрович Фомин | ||
| "... of virtualization, the most popular was containerization, that is the isolation of related groups of linux processes ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Типовая архитектура высокопроизводительной вычислительной системы для решения задач численного моделирования | Аннотация PDF (Rus) похожие документы |
| Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ, Александр Иосифович МЕЛЬНИКОВ, Дмитрий Владимирович ИВАНКОВ | ||
| "... , а также используемого системного программного обеспечения и особенностей обработки информации в ВВС ..." | ||
| Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
| "... системного программирования РАН, и представляется опыт их применения для тестирования операционной системы ..." | ||
| Том 35, № 2 (2023) | Разработка и реализация средства диагностики сетей Ethernet | Аннотация PDF (Rus) похожие документы |
| Григорий Павлович ОХРИМЕНКО, Сергей Юрьевич МОКШИН, Алексей Олегович ИГНАТЬЕВ | ||
| "... разработкой и эксплуатацией сетей Ethernet в вычислительных системах на основе ОС Linux. ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... анализаторов, а также основные компоненты статического анализатора Svace, разработанного в Институте системного ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... данным в ходе выполнения программы и некоторым методам системных классов. Эти ограничения могут быть ..." | ||
| Том 37, № 1: январь-февраль | Математическое моделирование почвенных процессов с использованием открытого программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Всеволодович КУЛИНСКИЙ, Сергей Владимирович СТРИЖАК | ||
| "... , система хранения данных, сетевое оборудование, стек системного программного обеспечения, виртуальные ..." | ||
| Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
| Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
| "... аналитика, автоматизация его действий не несет в себе системный характер. В случае отсутствия необходимого ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Обзор существующих методов анализа полносистемного покрытия кода | Аннотация PDF (Rus) похожие документы |
| Аркадий Алексеевич ИВАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА | ||
| "... With the rise of cyberattacks and unauthorized data access, the popularity of Secure Software ..." | ||
| Том 34, № 6 (2022) | Модификация метода выделения контуров объекта в интеллектуальных системах | Аннотация PDF (Rus) похожие документы |
| Алексей Иванович МАРТЫШКИН, Елена Григорьевна БЕРШАДСКАЯ, Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА | ||
| "... of human-computer systems. The proposed method uses a video camera and computer software to detect a person ..." | ||
| Том 28, № 6 (2016) | О некоторых ограничениях полносистемного анализа помеченных данных « | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев | ||
| "... applications more secure, to perform software analysis for debugging or reverse engineering, and so on. Taint ..." | ||
| Том 38, № 3: часть 3. май-июнь | Многослойная визуализация в графической компоненте операционной системы реального времени | Аннотация PDF (Rus) похожие документы |
| Алексей Геннадьевич ВОЛОБОЙ, Борис Хаимович БАРЛАДЯН, Николай Борисович ДЕРЯБИН, Лев Залманович ШАПИРО, Евгений Юрьевич ДЕНИСОВ, Владимир Александрович ГАЛАКТИОНОВ | ||
| "... The software of the onboard equipment complex of a civil airliner operates under the control ..." | ||
| Том 30, № 1 (2018) | Принципы построения системы обеспечения жизненного цикла ответственных систем | Аннотация похожие документы |
| Б. А. Позин | ||
| "... ). Целью системы является снижение уровня рисков от проявления критических ошибок в системном и прикладном ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... (or specifications) of requirements to behavior of software or hardware components. It was created with experience ..." | ||
| Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... API. Эта операционная система разрабатывается в институте системного программирования РАН, и важным ..." | ||
| Том 31, № 2 (2019) | Предисловие к специальному выпуску «Продвинутые компьютерные методы: от теории к практике» | Аннотация похожие документы |
| Андрей Николаевич Черных, Аллел Хаджали | ||
| "... системного программирования Российской академии наук. Тринадцать материалов из девяти стран (Англии, Мексики ..." | ||
| Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
| Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
| "... in the application of program obfuscation to the solution of various problems in system programming and software ..." | ||
| 1 - 53 из 61 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
