Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning
The subject of the research in this article is the methods for detecting intrusions into the information systems of organizations to justify the requirements for the functioning of the monitoring agent of the selected logical object. The aim is to develop a method for building a dynamic model of the...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
National Aerospace University «Kharkiv Aviation Institute»
2022-02-01
|
| Series: | Радіоелектронні і комп'ютерні системи |
| Subjects: | |
| Online Access: | http://nti.khai.edu/ojs/index.php/reks/article/view/1657 |
| _version_ | 1827836832945012736 |
|---|---|
| author | Галина Іванівна Гайдур Сергій Олександрович Гахов Віталій Вікторович Марченко |
| author_facet | Галина Іванівна Гайдур Сергій Олександрович Гахов Віталій Вікторович Марченко |
| author_sort | Галина Іванівна Гайдур |
| collection | DOAJ |
| description | The subject of the research in this article is the methods for detecting intrusions into the information systems of organizations to justify the requirements for the functioning of the monitoring agent of the selected logical object. The aim is to develop a method for building a dynamic model of the logical object of the information system and determine the law of its operation. Tasks: to substantiate the need to create security monitoring agents for logical objects of information systems; identify the main functions of security monitoring agents for logical objects; to propose a method for building a dynamic model of the functioning of a logical object and determining the law of its functioning. The methods used are abstraction, system approach, and methods of mathematical modeling using the provisions of the theory of finite automata. The following results were obtained. A method for constructing a dynamic model of a logical object of an information system is proposed. The dynamic model of the operation of the selected logical object reflects the allowable processes in the space of states that occur during the implementation of functions following the specifications defined by the protocol. This dynamic model is represented by a system of algebraic equations in the space of states, which are formed because of the formalization of the processes of realization of certain functions. The solution of a system of algebraic equations in the space of states as a dynamic model of a logical object is a regular expression for a set of admissible processes. This regular expression defines the set of possible trajectories in the space of states, which is the law of operation of this logical object. Conclusions. The proposed method for building a dynamic model of the logical object in contrast to the existing one is based on the formalization of the processes of implementing of partial functions of the protocol, which allows determining the law of the selected logical object, to ensure the adequacy and accuracy of the model. The law of functioning is the basis for the substantiation of initial data for a statement of problems of identification and diagnosing of a condition of the safety of logical objects of an information system. The solution to these problems is needed to substantiate the requirements for the functioning of the agent to monitor the state of the selected logical object and respond to its changes.vulnerabilities of information systems; the logical object of the information system; information system security status; dynamic model of a logical object; the law of functioning of a logical object |
| first_indexed | 2024-03-12T06:33:48Z |
| format | Article |
| id | doaj.art-249be019c1a34d229715c5a7c1c8c071 |
| institution | Directory Open Access Journal |
| issn | 1814-4225 2663-2012 |
| language | English |
| last_indexed | 2024-03-12T06:33:48Z |
| publishDate | 2022-02-01 |
| publisher | National Aerospace University «Kharkiv Aviation Institute» |
| record_format | Article |
| series | Радіоелектронні і комп'ютерні системи |
| spelling | doaj.art-249be019c1a34d229715c5a7c1c8c0712023-09-03T01:24:57ZengNational Aerospace University «Kharkiv Aviation Institute»Радіоелектронні і комп'ютерні системи1814-42252663-20122022-02-010112914010.32620/reks.2022.1.101633Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioningГалина Іванівна Гайдур0Сергій Олександрович Гахов1Віталій Вікторович Марченко2Державний університет телекомунікацій, КиївДержавний університет телекомунікацій, КиївДержавний університет телекомунікацій, КиївThe subject of the research in this article is the methods for detecting intrusions into the information systems of organizations to justify the requirements for the functioning of the monitoring agent of the selected logical object. The aim is to develop a method for building a dynamic model of the logical object of the information system and determine the law of its operation. Tasks: to substantiate the need to create security monitoring agents for logical objects of information systems; identify the main functions of security monitoring agents for logical objects; to propose a method for building a dynamic model of the functioning of a logical object and determining the law of its functioning. The methods used are abstraction, system approach, and methods of mathematical modeling using the provisions of the theory of finite automata. The following results were obtained. A method for constructing a dynamic model of a logical object of an information system is proposed. The dynamic model of the operation of the selected logical object reflects the allowable processes in the space of states that occur during the implementation of functions following the specifications defined by the protocol. This dynamic model is represented by a system of algebraic equations in the space of states, which are formed because of the formalization of the processes of realization of certain functions. The solution of a system of algebraic equations in the space of states as a dynamic model of a logical object is a regular expression for a set of admissible processes. This regular expression defines the set of possible trajectories in the space of states, which is the law of operation of this logical object. Conclusions. The proposed method for building a dynamic model of the logical object in contrast to the existing one is based on the formalization of the processes of implementing of partial functions of the protocol, which allows determining the law of the selected logical object, to ensure the adequacy and accuracy of the model. The law of functioning is the basis for the substantiation of initial data for a statement of problems of identification and diagnosing of a condition of the safety of logical objects of an information system. The solution to these problems is needed to substantiate the requirements for the functioning of the agent to monitor the state of the selected logical object and respond to its changes.vulnerabilities of information systems; the logical object of the information system; information system security status; dynamic model of a logical object; the law of functioning of a logical objecthttp://nti.khai.edu/ojs/index.php/reks/article/view/1657вразливості інформаційних системлогічний об’єкт інформаційної системистан безпеки інформаційної системидинамічна модель логічного об’єктазакон функціонування логічного об’єкта |
| spellingShingle | Галина Іванівна Гайдур Сергій Олександрович Гахов Віталій Вікторович Марченко Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning Радіоелектронні і комп'ютерні системи вразливості інформаційних систем логічний об’єкт інформаційної системи стан безпеки інформаційної системи динамічна модель логічного об’єкта закон функціонування логічного об’єкта |
| title | Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning |
| title_full | Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning |
| title_fullStr | Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning |
| title_full_unstemmed | Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning |
| title_short | Method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning |
| title_sort | method for constructing a dynamic model of a logical object of the information system and determining the law of its functioning |
| topic | вразливості інформаційних систем логічний об’єкт інформаційної системи стан безпеки інформаційної системи динамічна модель логічного об’єкта закон функціонування логічного об’єкта |
| url | http://nti.khai.edu/ojs/index.php/reks/article/view/1657 |
| work_keys_str_mv | AT galinaívanívnagajdur methodforconstructingadynamicmodelofalogicalobjectoftheinformationsystemanddeterminingthelawofitsfunctioning AT sergíjoleksandrovičgahov methodforconstructingadynamicmodelofalogicalobjectoftheinformationsystemanddeterminingthelawofitsfunctioning AT vítalíjvíktorovičmarčenko methodforconstructingadynamicmodelofalogicalobjectoftheinformationsystemanddeterminingthelawofitsfunctioning |