Use of formal facilities of description of processes of grant of rights access

Authors

  • Анатолій Миколайович Давиденко Pukhov Institute for Modelling in Energy Engineering of National Academy of Sciences of Ukraine
  • Олександр Андрійович Суліма Pukhov Institute for Modelling in Energy Engineering of National Academy of Sciences of Ukraine

DOI:

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

Keywords:

informationsecurity, authorization systems, formalization of description tools

Abstract

This work covers the rights accesssystems that can have a variety of interpretations, from representing them as an ac-cess rights matrix to their representation in the form of attribution of certain roles to users who request access rights. Namely, we performed the analysis of parameters that characterise the DIS-type information systems in order to choose the most appropriate means of their formal description. We have formulated a number of state-ments and definitions that simplify such analysis in future and determined a number of mandatory requirements to conduct this analysis.And namely importance of data is de-fined as a parameter that characterizes the frequency of use of the data for a predetermined period during which the corresponding data is used. Also picked measure data pri-vacy through the degree of danger , which can lead to not authorized use of data in solving the problem . We consider the concept of anomalies and proved the relationship do-main interpretation of the information system at the struc-tural level.

Author Biographies

Анатолій Миколайович Давиденко, Pukhov Institute for Modelling in Energy Engineering of National Academy of Sciences of Ukraine

candidate of engineering science, senior researcher, Deputy director ofPukhov Institute for Modelling in Energy Engineering of National Academy of Sciences of Ukraine

Олександр Андрійович Суліма, Pukhov Institute for Modelling in Energy Engineering of National Academy of Sciences of Ukraine

junior researcher of Pukhov institute for modeling in energy engineering of National academy of sciences of Ukraine.

References

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

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

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

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

Downloads

Published

2016-05-30

Issue

Vol. 18 No. 2 (2016)

Section

Articles

License

Authors who publish with this journal agree to the following terms:

  1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.

  2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.

  3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).