Сортировать по:
| Выпуск | Название | |
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... . В основе атак лежит нахождение в уязвимой программе подходящих участков исполнимого кода - гаджетов ..." | ||
| Том 27, № 2 (2020) | Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... выполнения кода и проводятся эксперименты в случае, когда P — браузер FireFox для операционной системы ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... Существующие средства и методы статического анализа и верификации кода на языке С используют ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... уникальных путей исполнения, что может быть особенно ценно в методах статического анализа кода алгоритмов ..." | ||
| Том 31, № 2 (2024) | Об исследовании одного способа выявления аномального выполнения программы | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Татьяна Александровна Павлова | ||
| "... Разработка более точных и адаптивных методов обнаружения вредоносного кода является критической ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... symbolic execution, DSE), выполняемое с помощью автоматического решателя ограничений, например SMT-решателя ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... кода, либо с ограничением на применение только к конкретному классу программ. С другой стороны ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: Ю. В. Косолапов, «Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода», Моделирование и анализ информационных систем, Том 27, №2, с. 138–151, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-2-138-151 | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... вредоносного кода» (Моделирование и анализ информационных систем, том 27, №2, с. 138–151, 2020; https://doi ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... параллельных переносимых программ. Исходный код функционально-потоковых программ транслируется в набор графов ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... execution. In the case of optimizing a recursive function, repeated calculations are carried out ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... (например, HOL4); (2) верифицированную трансляцию смарт-контрактов в машинный код с использованием ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... представляется набором именованных состояний, содержащих программный код, которые задают логику поведения ..." | ||
| Том 33, № 2 (2026) | Построение операционной семантики языков программирования в виде исполняемых онтологических моделей программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина, Дмитрий Александрович Кондратьев, Сергей Петрович Горлач | ||
| "... код. Это даёт множество преимуществ: упрощение модификации, возможность выполнения в разных средах ..." | ||
| 1 - 14 из 14 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
