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

Доказательство безопасности компьютерных систем

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

К вопросу о связи надежности и достоверности функционирования компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)

Атрибуты и метрики гарантоспособных компьютерных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2013)

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

Достоверность работы компьютерных систем
за авторством: Сеспедес Гарсия, Н.В.
Опубліковано: (2016)

Оценка уровня целостности гарантоспособных компьютерных систем
за авторством: Сеспедес Гарсия, Н.В.
Опубліковано: (2013)

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

Информационный подход к повышению безопасности движения на железнодорожных переездах
за авторством: Федухин, А.В., та інші
Опубліковано: (2015)

К вопросу о надежности невосстанавливаемой системы с квазимостиковой структурой элементов
за авторством: Федухин, А.В., та інші
Опубліковано: (2017)

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

Приближенная оценка надежности восстанавливаемых изделий на этапе эскизного проектирования
за авторством: Федухин, А.В., та інші
Опубліковано: (2018)

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

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

Экспертная оценка уровня гарантоспособности компьютерных систем
за авторством: Федухин, А.В.
Опубліковано: (2019)

Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2013)

Управление процессом разработки сложных технических систем и процессов. Особенности применения FMEA-анализа
за авторством: Муха, Ар.А.
Опубліковано: (2012)

Радиомикропроцессорные информационные системы для железнодорожных переездов серии «Благовест»
за авторством: Федухин, А.В., та інші
Опубліковано: (2014)

Имитационное моделирование отказоустойчивой резервированной двухканальной системы в интегрированной инструментальной среде MATLAB SIMULINK
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)

Резервированные микроконтроллеры и системы на их основе
за авторством: Муха, Ар.А., та інші
Опубліковано: (2019)

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

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

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

К вопросу о статистическом моделировании надежности
за авторством: Федухин, А.В., та інші
Опубліковано: (2006)

Моделирование надежности восстанавливаемой системы с «холодным» резервом и ненадежным восстанавливающим органом
за авторством: Федухин, А.В., та інші
Опубліковано: (2007)

Графо-аналитический метод оценки параметров DN-распределения в условиях малой статистики отказов
за авторством: Федухин, А.В., та інші
Опубліковано: (2012)

Моделирование надежности восстанавливаемой системы с «холодным» резервом
за авторством: Федухин, А.В., та інші
Опубліковано: (2007)

Практические аспекты гарантоспособности контрольно-информационной системы для железнодорожных переездов «Благовест»
за авторством: Муха, Ар.А.
Опубліковано: (2018)

Новый подход к автоматизации переездов на железнодорожном транспорте
за авторством: Федухин, А.В., та інші
Опубліковано: (2011)

К вопросу взаимосвязи величин метрик и их весов
за авторством: Федухин, А.В., та інші
Опубліковано: (2015)

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

К вопросу о структурах отказоустойчивых компьютеров фирмы Stratus Computer Inc.
за авторством: Федухин, А.В., та інші
Опубліковано: (2018)

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

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

Оцінка рівня конфіденційності гарантоздатних комп’ютерних систем
за авторством: Сеспедес Гарсія, Н.В.
Опубліковано: (2014)

ПЛИС-системы как средство повышения отказоустойчивости
за авторством: Федухин, А.В., та інші
Опубліковано: (2010)

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

Синтез систем противоаварийной автоматики с исключением опасных отказов
за авторством: Федухин, А.В.
Опубліковано: (2017)

Основные положения технологии управления жизненным циклом двух классов компьютерных систем с развитой внешней инфраструктурой
за авторством: Фидаров, Т.З.
Опубліковано: (2018)

До питання про кількісні характеристики безвідмовності надлишкових комп'ютерних систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2012)

К вопросу об аппаратной реализации избыточных структур. Поэлементное резервирование
за авторством: Федухин, А.В.
Опубліковано: (2009)

Моделирование надежности восстанавливаемой резервированной системы с учетом тренда параметров надежности составных частей
за авторством: Федухин, А.В.
Опубліковано: (2007)