Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
"... . The specifics of SDN (software defined network) security solutions is largely driven by fundamental ..."
 
Том 26, № 1 (2019) Эффективный алгоритм разрешения коллизий в правилах политики безопасности Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов, Валерий Анатольевич Соколов
"... network. Its task is to compare the network traffic passing through it with the established security rules ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... for the Floodlight software defined network (SDN) controller. This application filters rules, which are added ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... , в частности - гибридизация MPLS и SDN. Значительное внимание уделяется протоколу OpenFlow. В конце ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... , for example, we can define security policy as follows: confidential nodes can not send data to the public ..."
 
Том 26, № 1 (2019) Алгоритм минимизации количества правил маршрутизации в ПКС Аннотация  PDF (Rus)  похожие документы
Иван Сергеевич Петров
"... Software-Defined Networking (SDN) is a network architecture that introduces a physical separation ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... to a paradigm shift towards software-defined networking (SDN), where network management level is separated from ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... Nowadays new innovative approaches based on the technology of software defined networks (SDN ..."
 
Том 23, № 6 (2016) Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей Аннотация  PDF (Rus)  похожие документы
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
"... , the information security problem is urgent. To create a protected module of information-telecommunication system ..."
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Василий Николаевич Пашков
"... The architecture of the high availability distributed control plane for SDN/OpenFlow networks ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... Software-defined networking (SDN) is an approach to building computer networks that separate ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... In this work, a model for computer system security threats formulated in terms of Markov processes ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... We consider while-language programs with variables of two security types: low and high. Security ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
"... Software Defined Networking (SDN) is a promising paradigm for network management ..."
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
 
Том 25, № 6 (2018) Даже простые процессы π-исчисления трудны для анализа Аннотация  PDF (Rus)  похожие документы
Марат Мазен Аббас, Владимир Анатольевич Захаров
"... -calculus) are widely used for checking the information security properties of cryptographic protocols ..."
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... personal data and provide personalized service, we must focus our attention on security. We proposed ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... . To remove these drawbacks, in this paper an approach is proposed to use software-defined networks (SDN ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... As part of the study, existing solutions aimed at ensuring the security of the network perimeter ..."
 
Том 25, № 2 (2018) Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам Аннотация  PDF (Rus)  похожие документы
Татьяна Рудольфовна Шмелёва
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация  PDF (Rus)  похожие документы
Евгений Максимович Винарский, Владимир Анатольевич Захаров
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... on the technology of building modern computer networks and information infrastructures SDN and NFV. SDN (Software ..."
 
Том 26, № 1 (2019) Иерархические периферийные вычисления Аннотация  PDF (Rus)  похожие документы
Руслан Леонидович Смелянский
"... computing and virtualization based on SDN&NFV technologies. The presentation considers the requirements ..."
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация  похожие документы
Томас Баар, Хорст Шульте
"... безопасности системы управления. По этой причине мы переводим Matlab/Simulink®-модель в гибридную программу (НР ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... , the security of such programs should be thoroughly tested, i.e., it is important to develop techniques ..."
 
Том 21, № 6 (2014) О некоторых задачах реконфигурирования программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий
"... The designing of network update algorithms is urgent for the development of SDN control software ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... свойств безопасности кибер-физических систем (CPS). Проверка таких свойств в интерактивном режиме может ..."
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... Рассмотрены методы преобразования вариационных задач оптимального управления (замены фазовых ..."
 
Том 25, № 5 (2018) О безопасности одно- и многоместных IFP-операторов Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Дудаков
"... В работе изучается безопасность унарных операторов инфляционной неподвижной точки (IFP-операторов ..."
 
Том 27, № 1 (2020) Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации Аннотация  PDF (Rus)  похожие документы
Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... at evaluating a security level of the computer system, we investigate in detail its random distribution ..."
 
Том 24, № 6 (2017) К критериям оценки безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
Александр Валентинович Когтенков
"... нулевого указателя; безопасность нулевых ссылок; безопасность пустых ссылок; инициализация объектов ..."
 
Том 22, № 3 (2015) КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ Аннотация  PDF (Rus)  похожие документы
Н. Д. Быкова, С. А. Кащенко
"... запаздывающее управление. Показано, что при достаточно большом коэффициенте запаздывающего управления задача о ..."
 
Том 19, № 1 (2012) Динамика уравнения Курамото с пространственно-распределенным управлением Аннотация  PDF (Rus)  похожие документы
Илья Сергеевич Кащенко, Сергей Александрович Кащенко
 
Том 17, № 1 (2010) Двухшаговый экстраградиентный метод для задачи управления ресурсами Аннотация  PDF (Rus)  похожие документы
А. В. Зыкина, Н. В. Меленьчук
 
Том 20, № 1 (2013) Квазинормальные формы для уравнений Лэнга–Кобаяши с большим коэффициентом управления Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Илья Сергеевич Кащенко, Сергей Александрович Кащенко
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
"... рассматривается подход к построению нелинейного следящего управления по выходу на конечном интервале времени ..."
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация  PDF (Rus)  похожие документы
Светлана Витальевна Солодуша
 
Том 21, № 5 (2014) Динамика логистического уравнения с запаздыванием и запаздывающим управлением Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... запаздыванием и с запаздывающим управлением. Показана возможность эффективного управления характеристиками ..."
 
Том 20, № 5 (2013) Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... Изучаются вопросы приближенного решения одной задачи оптимального управления для нелинейного ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... за логическое управление всей системой как единым целым. Подход позволяет повысить качество ..."
 
Том 19, № 5 (2012) Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей Аннотация  PDF (Rus)  похожие документы
Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов
"... проблем управления параллелизмом, специфичных для реализации данного механизма как на платформе Smart-M3 ..."
 
Том 21, № 1 (2014) Влияние запаздывающей обратной связи на устойчивость периодических орбит Аннотация  PDF (Rus)  похожие документы
Виктория Григорьевна Богаевская, Илья Сергеевич Кащенко
"... без управления ровно один мультипликатор цикла расположен вне единичной окружности. Время запаздывания ..."
 
Том 17, № 1 (2010) A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers Аннотация  PDF (Rus)  похожие документы
П. Е. Ефимова
"... Проведён анализ автоматизированной системы управления заказами, применяемой в процессе ..."
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
"... от начальных условий и параметров краевой задачи. Решены следующие задачи оптимального управления ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... входа, объединенных в одно целое и работающих под управлением контроллера кластера. Данная система ..."
 
Том 21, № 3 (2014) Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... оптимального управления для системы нелинейного гиперболического и обыкновенного дифференциального уравнений с ..."
 
Том 17, № 1 (2010) Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами Аннотация  PDF (Rus)  похожие документы
Г. А. Курина, Т. Х. Нгуен
"... сингулярно возмущенной линейно-квадратичной задачи оптимального управления с разрывными коэффициентами ..."
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
"... управления, архитектурно-независимого и пригодного для описания программы любого языка программирования ..."
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация  PDF (Rus)  похожие документы
Маргарита Александровна Калашникова
"... линейно-квадратичной трехтемповой задачи оптимального управления методом прямой схемы. Алгоритм метода ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... конструкциями управления сценариями 뜨 защищенными компонентами и конструкциями обработки ошибок. Анализ и ..."
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация  PDF (Rus)  похожие документы
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... в нескольких системах управления с повышенными требованиями к надежности, например, в системе ..."
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
"... , принадлежащих различным предметным областям, таким как системы автоматического управления, телекоммуникации ..."
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация  PDF (Rus)  похожие документы
Владислав Игоревич Январев
"... . Рассматривается архитектура соответствующей программной системы управления мультимедийными документами с акцентами ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... программы. Данный подход позволяет представить модель потока управления всей программы в целом как ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... управления, так и по потоку данных. Представлены шаги по преобразованию абстрактных структур данных (в том ..."
 
Том 13, № 1 (2006) Иерархическая модель автоматных программ Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин
"... программированию. Приводится пример автоматной модели системы управления кофеваркой. ..."
 
Том 27, № 1 (2020) Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица Аннотация  PDF (Rus)  похожие документы
Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова
"... data dimensionality (as a consequence of the large number of securities available for investment ..."
 
Том 19, № 4 (2012) Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый
"... Исследуется производительность протокола Trickles, который предназначен для управления передачей ..."
 
Том 27, № 4 (2020) Темпоральная логика для программируемых логических контроллеров Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач
"... ). Особенностью программ ПЛК является цикл управления: 1) считываются входы, 2) изменяются состояния ПЛК и 3 ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной ..."
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
"... программ, как граф потока управления, время символьного выполнения и степень покрытия при символьном ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... образом на них реагировать. Для автоматизированного контроля и управления, а также организации ..."
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... и его свойство безопасности. С помощью системы PVS проведено в интерактивном режиме доказательство ..."
 
Том 26, № 2 (2019) Система распределения ключей на дизайнах Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Алексей Александрович Таран
"... Изучается актуальная задача распределения ключей в сообществе для обеспечения безопасности ..."
 
Том 26, № 4 (2019) Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню Аннотация  похожие документы
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес
"... доказательств в их развитие может помочь обеспечить выполнение свойств безопасности и получить эффективный ..."
 
Том 21, № 6 (2014) Управляемые тупики в параллельных ресурсно-ограниченных потоках работ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова
"... способы организации такого управления сетью, которое позволило бы их избегать. ..."
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация  PDF (Rus)  похожие документы
Александр Гурьевич Марчук
"... управления базами данными. На основе анализа ряда NoSQL решений были выработаны принципы создания такой ..."
 
Том 21, № 6 (2014) О работе семинара «Нелинейная динамика» Аннотация  PDF (Rus)  похожие документы
Статья Редакционная
"... управления телескопическим манипулятором. Ниже представлены тезисы наиболее интересных докладов ..."
 
Том 20, № 5 (2013) Статистические характеристики управляемых систем, возникающие в различных моделях естествознания Аннотация  PDF (Rus)  похожие документы
Яна Юрьевна Ларина, Людмила Ивановна Родина
"... означает, что любому периодическому управлению из фиксированного множества отвечает единственное ..."
 
1 - 75 из 103 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)