Зображення обкладинки

Синтез безопасных автоматов с функциональной деградацией

Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формировании множеств ответственных операций и построении, анализе и преобразован...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Управляющие системы и машины
Дата:	2010
Автор:	Малиновский, М.Л.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2010
Теми:	Проблемы информационной безопасности
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/82798
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Синтез безопасных автоматов с функциональной деградацией / М.Л. Малиновский // Управляющие системы и машины. — 2010. — № 1. — С. 84-91. — Бібліогр.: 3 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Повышение эффективности сверточных помехоустойчивых кодов с помощью конечных автоматов
за авторством: Завадский, И.А.
Опубліковано: (2015)

Определение инварианта к сжатию с потерями для аудиосигналов
за авторством: Кошкина, Н.В.
Опубліковано: (2010)

Подсистема криптографического обеспечения конфиденциальности данных в защищенной ОС на базе OC GNU/Linux с расширением RSBAC
за авторством: Анисимов, А.В., та інші
Опубліковано: (2010)

Комплексная информационная безопасность корпоративных информационных систем
за авторством: Лисецкий, Ю.М.
Опубліковано: (2019)

Метод анализа эффективности реконфигурации топологии построения беспроводных мультисервисных сетей повышенной помехозащищенности
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2009)

Разработка и реализация политики безопасности в распределенных компьютерных системах
за авторством: Мухин, В.Е., та інші
Опубліковано: (2010)

Разработка и реализация политики безопасности в распределенных компьютерных системах
за авторством: Мухин, В.Е., та інші
Опубліковано: (2010)

Резервное копирование как инструмент защиты информации
за авторством: Лисецкий, Ю.М., та інші
Опубліковано: (2019)

О технологии криптографической защиты информации на специальных цифровых носителях
за авторством: Задирака, В.К., та інші
Опубліковано: (2010)

Разработка методов повышения помехоустойчивости охранных систем
за авторством: Белявин, В.Ф.
Опубліковано: (2013)

Стохастическая модель оценки параметров структурной живучести mesh-сетей в условиях воздействия разрушающих факторов
за авторством: Кулаков, Ю.О., та інші
Опубліковано: (2013)

Анализ влияния организационных факторов на безопасность
за авторством: Гречанинов, В.Ф., та інші
Опубліковано: (2014)

Стеганография по методу наименее значимого бита на базе персонализированных флеш-накопителей
за авторством: Королев, В.Ю., та інші
Опубліковано: (2011)

Оценка рисков защищенности распределенных компьютерных систем в процессе анализа ситуаций и принятия решений
за авторством: Мухин, В.Е.
Опубліковано: (2011)

Додаткова експертиза з технічного захисту інформації в Україні
за авторством: Алексєєв, В.А., та інші
Опубліковано: (2010)

On Method Concept for Safety Culture Assessment with Application of Inductive Learning Algorithms
за авторством: Begun, V.V., та інші
Опубліковано: (2014)

Адаптивне кодування даних, формування та передавання завадостійких пакетів інформації в мережах промислового моніторингу
за авторством: Шевчук, Б.М., та інші
Опубліковано: (2015)

Мониторинг и анализ медиапространства – информационно-аналитическая система NEWSPASE
за авторством: Малышко, С.А.
Опубліковано: (2015)

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2017)

Методика расчета сейсмически безопасных параметров промышленных взрывов
за авторством: Михельсон, Р.В., та інші
Опубліковано: (2013)

Определение безопасных уровней статических нагрузок для полимерных композитов, ослабленных трещинами
за авторством: Каминский, А.А., та інші
Опубліковано: (2018)

Языковая ситуация в Германии с точки зрения функциональной и социальной дифференциации
за авторством: Петренко, Д.А.
Опубліковано: (2006)

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2018)

Проверка эквивалентности программ с помощью двухленточных автоматов
за авторством: Захаров, В.А.
Опубліковано: (2010)

Прогнозирование уровня грунтовых вод с применением клеточных автоматов
за авторством: Логинов, О.А., та інші
Опубліковано: (2009)

Эквивалентность двумерных многоленточных автоматов
за авторством: Григорян, А.А., та інші
Опубліковано: (2008)

Представление автоматов группами. II
за авторством: Скобелев, В.Г.
Опубліковано: (2000)

Определение безопасных расстояний при аварийных взрывах шахтной атмосферы с учетом отражения ударных воздушных волн в тупиковых выработках
за авторством: Налисько, Н.Н.
Опубліковано: (2016)

Об одной функциональной алгебре
за авторством: Чернов, В.Г.
Опубліковано: (1990)

О минимизации автоматов алгоритмом Хопкрофта
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Теория конечных квантовых автоматов (обзор)
за авторством: Скобелев, В.Г.
Опубліковано: (2012)

Представления автоматов в локально определенных классах
за авторством: Козловский, В.А., та інші
Опубліковано: (2008)

Моделирование автоматов над конечным кольцом автоматами с конечной памятью
за авторством: Скобелев, В.В.
Опубліковано: (2012)

Семантика междометий в аспекте функциональной омонимии
за авторством: Валеева, Л.В.
Опубліковано: (2004)

Структурное представление процесса синтеза управляющих автоматов с операционным автоматом переходов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)

Эффективный алгоритм синтеза многовыходных комбинационных автоматов
за авторством: Голов, А.В., та інші
Опубліковано: (1999)

О некоторых задачах анализа гибридных автоматов
за авторством: Скобелев, В.В., та інші
Опубліковано: (2018)

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
за авторством: Борисенко, В.И.
Опубліковано: (2015)

Характеристики линейных одномерных автоматов с лагом l над конечным кольцом
за авторством: Скобелев, В.В.
Опубліковано: (2008)