Доказательство безопасности компьютерных систем
Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения. Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи до...
Збережено в:
| Опубліковано в: : | Математичні машини і системи |
|---|---|
| Дата: | 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| _version_ | 1862749607767834624 |
|---|---|
| author | Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. |
| author_facet | Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. |
| citation_txt | Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения.
Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи доказу функціональної безпеки, наводяться необхідні поняття і визначення.
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.
|
| first_indexed | 2025-12-07T21:01:24Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-113678 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T21:01:24Z |
| publishDate | 2016 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. 2017-02-11T18:05:19Z 2017-02-11T18:05:19Z 2016 Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/113678 621.3.019.3 Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения. Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи доказу функціональної безпеки, наводяться необхідні поняття і визначення. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення Доказательство безопасности компьютерных систем Доказ безпеки комп’ютерних систем The security proof of computer systems Article published earlier |
| spellingShingle | Доказательство безопасности компьютерных систем Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| title | Доказательство безопасности компьютерных систем |
| title_alt | Доказ безпеки комп’ютерних систем The security proof of computer systems |
| title_full | Доказательство безопасности компьютерных систем |
| title_fullStr | Доказательство безопасности компьютерных систем |
| title_full_unstemmed | Доказательство безопасности компьютерных систем |
| title_short | Доказательство безопасности компьютерных систем |
| title_sort | доказательство безопасности компьютерных систем |
| topic | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/113678 |
| work_keys_str_mv | AT feduhinav dokazatelʹstvobezopasnostikompʹûternyhsistem AT muhaara dokazatelʹstvobezopasnostikompʹûternyhsistem AT sespedesgarsiânv dokazatelʹstvobezopasnostikompʹûternyhsistem AT feduhinav dokazbezpekikompûternihsistem AT muhaara dokazbezpekikompûternihsistem AT sespedesgarsiânv dokazbezpekikompûternihsistem AT feduhinav thesecurityproofofcomputersystems AT muhaara thesecurityproofofcomputersystems AT sespedesgarsiânv thesecurityproofofcomputersystems |