Доказательство безопасности компьютерных систем
Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения....
Збережено в:
| Дата: | 2016 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2016
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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| id |
irk-123456789-113678 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1136782017-02-12T03:03:58Z Доказательство безопасности компьютерных систем Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения. Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи доказу функціональної безпеки, наводяться необхідні поняття і визначення. The 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. 2016 Article Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/113678 621.3.019.3 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| spellingShingle |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. Доказательство безопасности компьютерных систем Математичні машини і системи |
| description |
Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения. |
| format |
Article |
| author |
Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. |
| author_facet |
Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. |
| author_sort |
Федухин, А.В. |
| title |
Доказательство безопасности компьютерных систем |
| title_short |
Доказательство безопасности компьютерных систем |
| title_full |
Доказательство безопасности компьютерных систем |
| title_fullStr |
Доказательство безопасности компьютерных систем |
| title_full_unstemmed |
Доказательство безопасности компьютерных систем |
| title_sort |
доказательство безопасности компьютерных систем |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2016 |
| topic_facet |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/113678 |
| citation_txt |
Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос. |
| series |
Математичні машини і системи |
| work_keys_str_mv |
AT feduhinav dokazatelʹstvobezopasnostikompʹûternyhsistem AT muhaara dokazatelʹstvobezopasnostikompʹûternyhsistem AT sespedesgarsiânv dokazatelʹstvobezopasnostikompʹûternyhsistem |
| first_indexed |
2024-03-30T09:28:24Z |
| last_indexed |
2024-03-30T09:28:24Z |
| _version_ |
1796150014361206784 |