Формалізація процесів захисту інформації в інформаційно-обчислювальних системах
dc.contributor.author | Хамула, Сергій | |
dc.contributor.author | Ковбаса, Володимир | |
dc.contributor.author | Кулинич, Юрій | |
dc.date.accessioned | 2015-06-04T11:02:16Z | |
dc.date.available | 2015-06-04T11:02:16Z | |
dc.date.issued | 2003 | |
dc.description.abstracten | We have considered the approach to the formalization of the processes aimed at ensuring the security of information based on the use of properties of the Petri nets and on their problimatically orientated extensions. | uk |
dc.description.abstractuk | Розглянуто підхід до формалізації процесів забезпечення безпеки інформації, що ґрунтується на використанні властивостей мереж Петрі і їх проблемно-орієнтованих розширень. | uk |
dc.format.pagerange | C. 113-118 | uk |
dc.identifier.citation | Хамула, С. Формалізація процесів захисту інформації в інформаційно-обчислювальних системах / Сергій Хамула, Володимир Ковбаса, Юрій Кулинич // Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні : науково-технічний збірник. – 2003. – Вип. 7. – С. 113-118. – Бібліогр.: 12 назв. | uk |
dc.identifier.uri | https://ela.kpi.ua/handle/123456789/11696 | |
dc.language.iso | uk | uk |
dc.publisher | НТУУ "КПІ" | uk |
dc.publisher.place | Київ | uk |
dc.source.name | Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні: науково-технічний збірник | uk |
dc.status.pub | published | uk |
dc.subject | Система захисту інформації | uk |
dc.subject | система підтримки прийняття рішень | uk |
dc.subject | мережі Петрі | uk |
dc.subject.udc | 681.3.004 | uk |
dc.title | Формалізація процесів захисту інформації в інформаційно-обчислювальних системах | uk |
dc.type | Article | uk |
thesis.degree.level | - | uk |
Файли
Контейнер файлів
1 - 1 з 1
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 1.71 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: