Формалізація процесів захисту інформації в інформаційно-обчислювальних системах

dc.contributor.authorХамула, Сергій
dc.contributor.authorКовбаса, Володимир
dc.contributor.authorКулинич, Юрій
dc.date.accessioned2015-06-04T11:02:16Z
dc.date.available2015-06-04T11:02:16Z
dc.date.issued2003
dc.description.abstractenWe 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.pagerangeC. 113-118uk
dc.identifier.citationХамула, С. Формалізація процесів захисту інформації в інформаційно-обчислювальних системах / Сергій Хамула, Володимир Ковбаса, Юрій Кулинич // Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні : науково-технічний збірник. – 2003. – Вип. 7. – С. 113-118. – Бібліогр.: 12 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/11696
dc.language.isoukuk
dc.publisherНТУУ "КПІ"uk
dc.publisher.placeКиївuk
dc.source.nameПравове, нормативне та метрологічне забезпечення системи захисту інформації в Україні: науково-технічний збірникuk
dc.status.pubpublisheduk
dc.subjectСистема захисту інформаціїuk
dc.subjectсистема підтримки прийняття рішеньuk
dc.subjectмережі Петріuk
dc.subject.udc681.3.004uk
dc.titleФормалізація процесів захисту інформації в інформаційно-обчислювальних системахuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
07_p113.pdf
Розмір:
343.71 KB
Формат:
Adobe Portable Document Format
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис: