Сортировать по:
| Выпуск | Название | |
| Том 30, № 4 (2018) | К формальной верификации стандартов кибербезопасности | Аннотация похожие документы |
| Томаш Кулик, Питер Горм Ларсен | ||
| "... Cyber security standards are often used to ensure the security of industrial control systems ..." | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
| А. В. Хорошилов, И. В. Щепетков | ||
| "... The paper examines the ADV_SPM "Security policy modelling" assurance family, which is part ..." | ||
| Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация похожие документы |
| Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
| "... of code using the deductive approach as well as at the level of the cyber-physical system using ..." | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... of Russia regulatory documents, in order to ensure trust in certified information security tools when ..." | ||
| Том 37, № 3 (2025) | Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ | ||
| "... The paper discusses methods of runtime verification of software systems that are security ..." | ||
| Том 29, № 3 (2017) | О проблеме представления формальной модели политики безопасности операционных систем | Аннотация PDF (Rus) похожие документы |
| П. Н. Девянин | ||
| "... Control of Russia "Information Security Requirements for Operating Systems", the work analyzes the ways ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... . The second direction is design and verification of formal models of corresponding security functional ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... efficient automation of protocols as complex as security protocols. Furthermore, thanks to formal models ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| Том 32, № 1 (2020) | Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков | ||
| "... if the goal is to achieve high level of security assurance and guarantees of unwanted information flows ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... их формальных моделей и расширения JavaTesK, реализующего эту технологию на языке программирования ..." | ||
| Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
| Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
| "... and development in the field of program reliability and security assurance. There were performed research ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... Currently the problem of information security during designing and exploiting the objects ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... Текущий стандарт надежного программного обеспечения для бортовых контроллеров – это ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... разработано и используется специальное семейство стандартов STEP (ISO 10303). Частью этого семейства является ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... The paper describes a tool for testing the security of cryptographic protocol implementations ..." | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
| В. Н. Игнатьев | ||
| "... We describe the usage of programming language constraints to achieve program security ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... the path of triggering vulnerability. The security predicate is an extra set of symbolic formulas ..." | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... The access control mechanism is the basis for ensuring the security of system software (OS or DBMS ..." | ||
| Том 35, № 6 (2023) | Анализ безопасности проекта национального стандарта «Нейросетевые алгоритмы в защищенном исполнении. Автоматическое обучение нейросетевых моделей на малых выборках в задачах классификации» | Аннотация PDF (Rus) похожие документы |
| Роман Александрович РОМАНЕНКОВ, Григорий Борисович МАРШАЛКО, Юлия Анатольевна ТРУФАНОВА | ||
| "... классификации из проекта национального стандарта, разработанного Омским государственным техническим ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... of bugs; thereby, it is not superfluous (at least for safety- and security-critical components) to check ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... defines strict requirements for their functionality, security, reliability and performance. Approaches ..." | ||
| Том 31, № 5 (2019) | Примеры использования машинного обучения в кибербезопасности | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Авдошин, Александр Вячеславович Лазаренко, Наталия Игоревна Чичилева, Павел Андреевич Наумов, Петр Георгиевич Ключарев | ||
| "... Проблему использования машинного обучения в кибербезопасности трудно решить, поскольку достижения ..." | ||
| Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович ХОРОШИЛОВ | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| "... In the paper, we analyze problems of reliability and security in the world practice and in Russia ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| "... such as general-purpose operating systems. When verifying the security mechanisms of operating systems, modern ..." | ||
| Том 32, № 5 (2020) | Агрегация и нормализация гетерогенных данных в системах мониторинга информационной безопасности и обнаружения вторжений крупномасштабных промышленных КФС | Аннотация похожие документы |
| Мария Анатольевна ПОЛТАВЦЕВА | ||
| "... Monitoring of industrial cyber-physical systems (CPS) is an ongoing process necessary to ensure ..." | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) похожие документы |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... facto standard in industries where security plays the key role. The standard was developed by the MISRA ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... Применение формальных методов в разработке реализаций сетевых протоколов способствует повышению ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... The paper presents conformance test suite for new Internet Protocol Security Suite IPsec v2 ..." | ||
| Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) похожие документы |
| Артемий Сергеевич ЮРЬЕВ | ||
| "... may be large. Developers and information security specialists are simultaneously required to comply ..." | ||
| Том 36, № 2 (2024) | Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них | Аннотация похожие документы |
| Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| "... Cyber-physical systems are a symbiosis of multi-level control systems that take into account ..." | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| "... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... неизбежным поступком в силу отсутствия полноценных систем формальной верификации машинного кода. Стоит также ..." | ||
| Том 30, № 3 (2018) | Построение модульного программного обеспечения на основе однородной компонентой модели | Аннотация похожие документы |
| К. А. Маллачиев, А. В. Хорошилов | ||
| "... между разработчиками в ходе совместной разработки. Мы используем формальные модели для описания ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... В исследованиях по формальным методам разработки и верификации программ много внимания уделяется ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... масштабируемых систем. На основании литературы изложен формальный метод параметризованной проверки свойств ..." | ||
| 1 - 40 из 251 результатов | 1 2 3 4 5 6 7 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
