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

Скорочена інформація про документ
dc.contributor.authorФедухин, А.В.
dc.contributor.authorМуха, Ар.А.
dc.contributor.authorСеспедес Гарсия, Н.В.
dc.date.accessioned2017-02-11T18:05:19Z
dc.date.available2017-02-11T18:05:19Z
dc.date.issued2016
dc.description.abstractСтатья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения.uk_UA
dc.description.abstractСтаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи доказу функціональної безпеки, наводяться необхідні поняття і визначення.uk_UA
dc.description.abstractThe article is devoted to the security questions of computer systems of critical applications. The methods of functional safety proof were considered, the necessary concepts and definitions are given.uk_UA
dc.identifier.citationДоказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос.uk_UA
dc.identifier.issn1028-9763
dc.identifier.udc621.3.019.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/113678
dc.language.isoruuk_UA
dc.publisherІнститут проблем математичних машин і систем НАН Україниuk_UA
dc.relation.ispartofМатематичні машини і системи
dc.statuspublished earlieruk_UA
dc.subjectЯкість, надійність і сертифікація обчислювальної техніки і програмного забезпеченняuk_UA
dc.titleДоказательство безопасности компьютерных системuk_UA
dc.title.alternativeДоказ безпеки комп’ютерних системuk_UA
dc.title.alternativeThe security proof of computer systemsuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
11-Feguchin.pdf
Розмір:
243.87 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Математичні машини і системи, 2016, № 3