Доказательство безопасности компьютерных систем
Статья посвящена вопросам безопасности компьютерных систем критического применения. Рассмотрены способы доказательства функциональной безопасности, приводятся необходимые понятия и определения. Стаття присвячена питанням безпеки комп'ютерних систем критичного застосування. Розглянуто способи до...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2016 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/113678 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-113678 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Доказательство безопасности компьютерных систем |
| spellingShingle |
Доказательство безопасности компьютерных систем Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| title_short |
Доказательство безопасности компьютерных систем |
| title_full |
Доказательство безопасности компьютерных систем |
| title_fullStr |
Доказательство безопасности компьютерных систем |
| title_full_unstemmed |
Доказательство безопасности компьютерных систем |
| title_sort |
доказательство безопасности компьютерных систем |
| author |
Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. |
| author_facet |
Федухин, А.В. Муха, Ар.А. Сеспедес Гарсия, Н.В. |
| topic |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet |
Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| publishDate |
2016 |
| language |
Russian |
| container_title |
Математичні машини і системи |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Доказ безпеки комп’ютерних систем The security proof of computer systems |
| 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.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/113678 |
| citation_txt |
Доказательство безопасности компьютерных систем / А.В. Федухин, Ар.А. Муха, Н.В. Сеспедес Гарсия // Математичні машини і системи. — 2016. — № 3. — С. 93-101. — Бібліогр.: 17 назв. — рос. |
| 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 |
| first_indexed |
2025-12-07T21:01:24Z |
| last_indexed |
2025-12-07T21:01:24Z |
| _version_ |
1850884787687915520 |