Використання формальних засобів опису процесів надання повноважень

Автор(и)

  • Анатолій Миколайович Давиденко Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
  • Олександр Андрійович Суліма Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України

DOI:

https://doi.org/10.18372/2410-7840.18.10593

Ключові слова:

захист інформації, системи надання повноважень, формалізація засобів опису

Анотація

В роботи розглянуто системи надання повноважень, які можуть мати різноманітну інтерпретацію, починаючи від представлення їх у вигляді матриць повноважень до представлення їх у вигляді приписування тих чи інших ролей користува-чам, що звертаються за наданням повноважень. А саме проведено аналіз параметрів, що характеризують інформаційні системи типу з метою вибору найбільш адекватних формальних засобів для їх опису. Сформульовано ряд положень та визначень, які спрощують подібний аналіз в подальшому та визначена низка обов’язкових вимог щодо проведення цього аналізу. А саме дане визначення важливостіданих як параметру, який характеризує частоту використання даних за заданий період, на протязі якого відповідні дані використовуються. Також визначено мірутаємності даних через міру небезпеки, до якої може привести не санкціоноване використання даних при розв’язуванні задачі. Розглянуто поняття ано-малії і доведено взаємозв’язок предметної області інтерпретації деякої системи на структурному рівні.

Біографії авторів

Анатолій Миколайович Давиденко, Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України

кандидат технічних наук, ст. наук. співр., заст. директора Інституту проблем моделювання в енергетиціім. Г.Є. Пухова НАН України

Олександр Андрійович Суліма, Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України

молодший науковий співробітник Інституту проблем моделювання в енергетиці імені Г.Є. Пухова Національної академії наук України

Посилання

Зайченко Ю.П. Основи проектування інтелектуа-льних систем. / Ю.П. Зайченко – К.: Слово, 2003

Зима В.М. Безопасность глобальных сетевых тех-нологий / В.М. Зима, А.А. Молдовян, Н.А. Мол-довян – СПб.: БХВ-Петербург. 2000.

Коростіль О. Ю.-Ю. Засоби опису методів син-тезу текстових моделей з текстовими інформацій-ними потоками / О. Ю.-Ю. Коростіль // Моде-лювання та інформаційні технології : зб. наук. пр. ІПМЕ ім. Г. Є. Пухова НАН України. – К., 2012. — Вип. 63. — С. 95–104. Мендельсон Э. Введение в математическую логику. / Э. Мендельсон – М.: Наука, 1971.

Тихомиров Н.П., Дорохина Е.Ю. Економетрика. М.: Екзамен, 2007.

##submission.downloads##

Опубліковано

2016-05-30

Як цитувати

Давиденко, А. М., & Суліма, О. А. (2016). Використання формальних засобів опису процесів надання повноважень. Захист інформації, 18(2), 143–149. https://doi.org/10.18372/2410-7840.18.10593

Номер

Том 18 № 2 (2016)

Розділ

Статті

Ліцензія

Науковий журнал дотримується принципів відкритого доступу (Open Access) та забезпечує вільний, негайний і постійний доступ до всіх опублікованих матеріалів без фінансових, технічних або юридичних обмежень для читачів.

Усі статті публікуються у відкритому доступі відповідно до ліцензії Creative Commons Attribution 4.0 International (CC BY 4.0).

Авторські права

Автори, які публікують свої роботи в журналі:

  • зберігають за собою авторські права на свої публікації;

  • надають журналу право на перше опублікування статті;

  • погоджуються на поширення матеріалів за ліцензією CC BY 4.0;

  • мають право повторно використовувати, архівувати та поширювати свої роботи (у тому числі в інституційних та тематичних репозитаріях) за умови посилання на первинну публікацію в журналі.