<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Method of Optimal Planning of Cyberprotection Actions for a Corporate Information System</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>National Aviation University</institution>
          ,
          <addr-line>Kyiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>1888</year>
      </pub-date>
      <fpage>0000</fpage>
      <lpage>0002</lpage>
      <abstract>
        <p>The modern concept of cybersecurity management involves its consideration as a process of implementing a set of measures and activities organized into projects. This approach makes it possible to use the mathematical apparatus developed in the theory of cybernetic systems and project management for developing managerial decisions in the cybersecurity field. Based on this concept, a mathematical model is built that allows to create a schedule for performing the cyberprotection measures, aimed at maximizing the profit of the organization in conditions of limited resources. It is shown that in the above statement, the task of planning the process for implementing cyberprotection measures may be transformed to the canonical form of combinatorial optimization problems with a linear structure belonging to the NP-class. For its solution, it is proposed to use an algorithm based on the improved method improved that implements the idea of directed search of variants. The directed search method uses sequential fragmentation of the full set of solutions to the problem, until either the optimal plan is found, or the fact of the incompatibility of the system of restrictions is established. The resulting new subsets of the variants are subjected to formal analysis aimed at minimization of the solution process duration. A further development of the described approach to planning cyberprotection activities can be transition to stochastic models in which all financial and time indicators that relate to the implementation of cyberprotection measures are random variables with predetermined distribution laws. The proposed method is optimization-focused, so its application can provide increased competitiveness, efficiency and financial performance of companies in the context of modern cyber threats.</p>
      </abstract>
      <kwd-group>
        <kwd>cybersecurity</kwd>
        <kwd>project</kwd>
        <kwd>restriction</kwd>
        <kwd>directed search method</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>1.1</p>
    </sec>
    <sec id="sec-2">
      <title>Relevance, purpose and research method</title>
      <sec id="sec-2-1">
        <title>Relevance</title>
        <p>Security of information systems and the information that is stored and processed in
them from cyber threats requires application of a number of various measures and
activities. Among these measures and activities there are the acquisition and
deployment of hardware, the acquisition and deployment of operating systems, system and
application software, including specialized software (firewalls, anti-rootkits, etc.);
installing updates to operating systems and other software, acquiring and updating
software licenses, updating anti-virus software databases, backing up information,
measures for the physical protection of information infrastructure, measures for
examining cables and equipment, conducting internal and/or external audits, testing for
penetration, organizational measures, development and implementation of security
policies, staff training, etc. For each of these measures, the optimal deadlines and the
requirements for the frequency of use can be determined. Also, each of the measures
is associated with certain costs and expences in terms of financial, material and labor
resources. On the other hand, each of these measures and activities gives some return
in terms of achieving and maintaining the necessary level of information security.</p>
        <p>The current article is devoted to the description of the mathematical model of the
task of planning activities to ensure cybersecurity and proposes a method for its
solution, which determines the relevance of the research topic.
1.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Purpose</title>
        <p>The purpose of the study is to create a mathematical method for the formation of a
schedule plan of cyber threats protection measures in the organization’s information
system, which is optimal according to the economic criterion, taking into account
investments and returns on the implementation of planned measures.
1.3</p>
      </sec>
      <sec id="sec-2-3">
        <title>Method</title>
        <p>The research method is based on construction of a mathematical model, which is a
formal reflection of the statement of the problem of work planning. The structure of
this model includes a criterion function, the values of which characterize the expected
return from implementation of the planned measures, and a system of restrictions that
reflects the requirement that at each time interval the difference between the
organization’s income and expenses for the implementation of information protection
measures should not be less than a specified level. It is proven that in the considered
mathematical formulation the task of planning cybersecurity maintaining activities is
reduced to the canonical form of combinatorial optimization problems. It is proposed
to use for its solution the method of directed search of variants, adapted to the
structure of the developed mathematical model.
2</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Publications</title>
      <p>Books [1-3] provide a systematic presentation of the current state of general project
management methods. Since the end of the twentieth century, in the world of
commercial practice, there has been a transition from managing the execution of
individual jobs to project management. This approach allows to concentrate the existing
potential in order to accelerate the achievement of the set goals, as well as to strengthen
control over the expenditure of resources in the conditions of limited funding. In
addition to this, structurization of the performed work makes it possible to engage
specialists who have relevant and versatile knowledge and skills to create a creative team
corresponding to the particular subject area.</p>
      <p>The book [4] offers a unified methodology for organizing and managing all types
of complex programs and projects in the field of high technologies.</p>
      <p>The publication [5] investigates the relationship between efforts invested in project
planning and project success. The authors consider the three aspects of planning
(definition of requirements, development of technical specifications and processes and
procedures for project management), and the three aspects of project success (points
of view and interests of the end user, project manager and customer office).</p>
      <p>The article [6] considers the features of project management in the activities of a
security specialist, with the following objectives: to achieve competitiveness and
success of the company, motivate employees, and successfully serve both internal and
external clients. At the same time, the requirements of contracts and scheduling are
taken into account; methods for managing the core competencies and core values of
the organization are considered.</p>
      <p>The articles [7-8] consider the decision making tasks regarding the company's
investment in a subset of the security management tools chosen out of the many
available ones as a resources distribution problem, taking into account conflicting goals and
limitations of the task, in particular, the limited budget allocated for cyber defense.
The authors have proposed several formulations of the problem of choosing a subset
of security controls as the “portfolio optimization” problem known in financial
management. Also, they propose approaches to solving this problem using existing
methods of single-criterion and multi-criteria optimization.</p>
      <p>The method proposed in this paper is based on a modification of the mathematical
method, the development of which was begun in the book [9].
3</p>
    </sec>
    <sec id="sec-4">
      <title>Statement of the problem</title>
      <p>The concept of managing cyber protection measures as projects and their elements
allows us to represent the organization's cyberprotection activities as a controlled
process that is implemented in a cybernetic system.</p>
      <p>In any cybernetic system, the function of planning the development of a controlled
process is performed via solving the so-called tasks of making managerial decisions,
which, as a rule, are of a multivariate and, therefore, optimization nature. Therefore,
when planning cyber protection actions, it is necessary to use special mathematical
methods and computer technologies.</p>
      <p>One of such methods consists in constructing a mathematical model of a
managerial problem with the subsequent application of one or another optimization method to
its solution [10].</p>
      <p>In this regard, the task of planning activities to support the security of a computer
system can be considered as the task of making managerial decisions inherent to
organizational-type cybernetic systems. In this case, the task acquires a multivariate
and, therefore, optimization character.</p>
      <p>To solve the optimization problem, it is necessary to use numerical indicators of
the cost and effectiveness of certain actions. The cost indicators for the problem under
consideration are quite simple to formulate, for this it is enough to take into account
the costs of material resources and human labor (which, as applied to the business
environment, can also be easily estimated in monetary terms). When developing the
method, it is necessary to take into account the fact that there is a cybersecurity
funding item in the organization’s budget, and the amount of that funding can be changed
by the management who takes into account the current economic performance of the
company [11].</p>
      <p>As indicators of the effectiveness of the measures under consideration, the
estimated return (profit) from the implementation of specific protective measures, expected
by the end of the planned planning period of time, can be used. Such estimated return
can be calculated on the basis of an assessment of the probability of realization of a
particular threat and the probable cost of the losses that its realization will entail.
Generally speaking, this indicator is a fuzzy type value, and the value of its median
can be taken as a first approximation.</p>
      <p>The proposed concept, based on the presentation of the process of protecting
information and information systems as the execution of a given set of activities, allows
us to formulate the planning task in the following way.</p>
      <p>By the beginning of the planning period, the administrative body making decisions in
the field of cybersecurity has at its disposal a “portfolio” of cybersecurity control
measures. Each of these measures, from the point of view of the administration, is
characterized by the three groups of parameters: the acceptable range of implementation
time, the amount of necessary financial investments at the stages of the specific measure
implementation, the values of expected financial returns at each stage of the
implementation of the measure. The “return” is understood as the part of the company's profit that
appears due to the cyber security of the computer system [10-12]. This value is equal to
the possible financial loss from unauthorized access to information resources, together
with the costs of eliminating its consequences, taken with the opposite sign.</p>
      <p>The governing body should choose and distribute in time the measures that are
accepted for implementation in such a way that to achieve the best overall financial
result of this activity, taking into account the initial and current available financial
resources, which dynamically change over time. It is assumed that funding of
measures chosen for implementation before the beginning of the current planning
period continues until they are completed in the due time.
3.1</p>
      <sec id="sec-4-1">
        <title>Input data</title>
        <p>Formalization of the problem requires breaking down each period of time during
which the cyber security measures can be applied, into equal half-open intervals,
which play the role of conditional units of time. The time intervals and all
cyberprotection measures are numbered with natural numbers.</p>
        <p>Let k be the number of the interval, k  1, n ; i is the measure number, i  1, m ;
m – the number of measures that are under consideration with the governing body at
the time of making the decision. The length of this planned time period T is chosen
in such a way that its upper limit is equal to maxtimax  i ; i  1, m, where timax is
the latest permissible start date for the implementation of the i -th measure;  i is the
duration of its performance in calendar units.</p>
        <p>Let ni be the number of half-open time intervals during which the i -th project can
be completed; i  1, m . This parameter is calculated as the result of rounding the
value of the expression  i  n  to the nearest larger integer.</p>
        <p>
 T </p>
        <p>The input data necessary to solve the problem of optimal planning of
cyberprotection activities is formally defined in the form of quantities and sets that satisfy the
requirement of the minimum amount of information that is entered into the computer
system (it is assumed that all financial indicators are measured in the same units):</p>
        <p>Ni is a set of numbers of time intervals in which the implementation of the i -th
project can be started; Ni  1, ..., n  ni 1; i  1, m ;</p>
        <p>M ic , M is are sets of sequence numbers of time intervals in which funding is
required and return is expected for the i -th project, provided that its implementation
begins in the first interval; M ic  1, ..., ni ; M is  1, ..., ni ; i  1, m ;
cik is the volume of financial investments, planned for the i -th project in the k
th time interval of the period of its implementation; i  1, m ; k  M ic ;
sik is the amount of return from the i - th project on the k th account of the time
interval of the period of its implementation; i  1, m ; k  M ic ;</p>
        <p>ck is the total amount of financial investments made in the cyberprotection actions
accepted for implementation prior to the beginning of considered planning period, at
the k -th time interval; k  M c ;</p>
        <p>sk is the total amount of financial return from the implementation of the measures
accepted for implementation prior to the beginning of this planning period, during the
k -th time interval; k  M s ;</p>
        <p>ak is the minimum allowable difference between the incomes that accumulate
over time, and the costs of performing the measures in the k -th interval; k  1, n ;</p>
        <p>D is the value that characterizes the available financial resource of the research
management system at the initial moment of the given period of planning time.</p>
        <p>Taking into account the presence of initial capital D  0 , the constants ak ,
1  k  n , that are related to the initial values of the parameter k , may be negative,
but the absolute value of the sum of such constants should not exceed the value of D .</p>
        <p>The positive values of the constants ak , 1  k  n , characterize the volume of the
part of the accumulated profit, which is withdrawn from turnover in the k -th time
interval and is spent for covering current expenses not directly related to the financing
of cyberprotection.</p>
        <p>To build a mathematical model of the problem of optimal planning of
cyberprotection activities, based on the given input data, the sets that describe the linking of
measures to the considered time periods are sequentially formed according to the
procedure described in [9].
3.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Mathematical model</title>
        <p>A cybersecurity maintenance activity plan for a given period of time is determined by
a vector of bivalent independent variable values x   xik i  1, m; k  Ni . Its
components define the truthiness ( xik  1) or falseness ( xik  0 ) of the following
statement: “The i -th project is accepted for implementation starting from the k -th time
interval”.</p>
        <p>For an information system functioning in an environment containing cyberthreats,
the results of cybersecurity maintenance measures have a cost estimate of financial
return based on an estimate of the cost of possible losses that could have occurred if
cyberthreats were implemented in an unprotected system, and that the company
avoided as a result of applying the measures of cybersecurity maintenance. Therefore,
the criterion for the effectiveness of activities to ensure cybersecurity should be the
estimated return from the implementation of these activities obtained during a given
planned period of time:</p>
        <p>
          m
f (x)  bi  xik ,
i1 kNi
(
          <xref ref-type="bibr" rid="ref1">1</xref>
          )
(
          <xref ref-type="bibr" rid="ref2">2</xref>
          )
        </p>
        <p>
          Another approach allows existence of projects that are repeated more than once. In
such a case, the formula (
          <xref ref-type="bibr" rid="ref2">2</xref>
          ) is substituted with
where bi is the difference between the return and costs associated with the
implementation of the cyber security measures. The use of cybersecurity maintenance measures
makes sense if the return on them (or the loss prevented by them) exceeds the cost of
their implementation.
        </p>
        <p>The system of restrictions for this problem is formed by two groups of inequalities.
The first group of constraints them consists of expressions of a combinatorial nature,
which reflect a restriction on the multiplicity of application of certain measures in
given periods. There are two approaches to their formulation. These approaches differ
in the way they describe the repeated jobs like doing information backups.</p>
        <p>
          One approach is based on consideration of each instance of such a job as another
project. Thus, the constraints of the first group will be formulated as
 xik  1 ; i  1, m .
kNi
 xik i ; i  1, m ,
kNi
where  is the vector of the corresponding constants specifying these constraints.
(
          <xref ref-type="bibr" rid="ref3">3</xref>
          )
        </p>
        <p>
          Each of the two approaches has its advantages and disadvantages. The second
approach allows to automate the task of input data description for repeated jobs; on the
other hands, the constraints (
          <xref ref-type="bibr" rid="ref3">3</xref>
          ) should be supplemented with additional constraints
that prohibit the overlapping of different instances of the same type of a project in
time. The first approach guarantees the absence of overlapping without additional
conditions, but requires more manual work concerning the description of input data,
and also may lead to sufficient growth of dimensionality of the problem.
        </p>
        <p>The restrictions of the second group express the requirement that, at each time
interval, the cumulative difference between returns and expenses should not be less than
a given level:</p>
        <p>
          S(x, k)  C(x, k)  A(k)  D , k  1, n ,
(
          <xref ref-type="bibr" rid="ref4">4</xref>
          )
(
          <xref ref-type="bibr" rid="ref5">5</xref>
          )
(
          <xref ref-type="bibr" rid="ref6">6</xref>
          )
where S(x, k) , C(x, k) , A(k) are the functions that characterize respectively the
total return, expenses, and part of the profit that must be withdrawn from circulation
during the period from the first to the k -th interval inclusively.
        </p>
        <p>
          In the given formal statement, the problem is reduced to the problem of finding a
vector of values of bivalent variables xik  0, 1; i  1, m ; k  Ni , which provides
the maximum of the objective function (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ) to, being subject to the system of
constraints (
          <xref ref-type="bibr" rid="ref2">2</xref>
          )–(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ) or (
          <xref ref-type="bibr" rid="ref3">3</xref>
          )–(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ).
        </p>
        <p>
          The presented model (
          <xref ref-type="bibr" rid="ref1">1</xref>
          )–(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ) is a basic one and can be modified in accordance with
additional features of the formulation of this problem. For example, the real situation
in the development of a business may require ensuring maximum profit not until the
end of a given planning period of time, but up to a certain k* -th interval (1  k*  n) .
In this case, the problem is reduced to finding the vector of values of bivalent
variables xik {0, 1} ; i  1, m ; k  Ni , which maximizes the objective function
f (x, k * )  S(x, k * )  C(x, k * ) ,
along with satisfying the same system of constraints (
          <xref ref-type="bibr" rid="ref2">2</xref>
          )–(
          <xref ref-type="bibr" rid="ref3">3</xref>
          ).
        </p>
        <p>
          If necessary, the initial system of restrictions (
          <xref ref-type="bibr" rid="ref2">2</xref>
          )–(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ) can be supplemented with an
expression that sets the lower limit P(n) of the difference between returns and
expenses of the management system at the end of the current planning time period:
m
bi  xik  A(n)  P(n) .
        </p>
        <p>i1 kNi</p>
        <p>
          Another specific feature of the statement of the problem of optimal planning of
cybersecurity maintenance activities is that the volumes of the costs of implementing
cyberprotection measures and the amounts of returns generated from them can
parametrically depend on the moment when their implementation has started. In such a
case, the objective function (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ), the values of which characterize the economic
efficiency of cybersecurity maintenance activities for the entire given planning period of
time, will have the following form:
        </p>
        <p>
          m
f (x)    bi (k) xik ,
i1 kNi
(
          <xref ref-type="bibr" rid="ref7">7</xref>
          )
(
          <xref ref-type="bibr" rid="ref10">10</xref>
          )
where bi (k ) is the difference between the revenues and expenses associated with the
i -th measure for cybersecurity maintenance, the implementation of which begins at
the k -th time interval:
bi (k ) 
        </p>
        <p> sik (k ) 
kMis (k )</p>
        <p> cik (k ) ; i  1, m ; k  Ni .</p>
        <p>kMic (k)</p>
        <p>
          The constraints (
          <xref ref-type="bibr" rid="ref2">2</xref>
          )–(
          <xref ref-type="bibr" rid="ref3">3</xref>
          ), as well as the general structure of constraints (
          <xref ref-type="bibr" rid="ref4">4</xref>
          ), will
remain unchanged, but the functions S(x, k) and C(x, k) , which are components of the
inequalities system (
          <xref ref-type="bibr" rid="ref4">4</xref>
          ) and of the objective function (
          <xref ref-type="bibr" rid="ref5">5</xref>
          ), will take another form.
        </p>
        <p>
          The constraint (
          <xref ref-type="bibr" rid="ref6">6</xref>
          ), taking into account the parametric dependence of the financial
indicators (returns and investments) of the cybersecurity maintenance activities from
the time of the start of their execution will get in the form:
m
  bi (k) xik  A(n)  P(n) . (
          <xref ref-type="bibr" rid="ref8">8</xref>
          )
i1 kNi
        </p>
        <p>
          The considered variants of the optimal planning of cybersecurity maintenance
activities, which are represented by mathematical models (
          <xref ref-type="bibr" rid="ref1">1</xref>
          )–(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ), (
          <xref ref-type="bibr" rid="ref4">4</xref>
          )–(
          <xref ref-type="bibr" rid="ref6">6</xref>
          ), {(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ), (
          <xref ref-type="bibr" rid="ref6">6</xref>
          ), (
          <xref ref-type="bibr" rid="ref7">7</xref>
          )}
and {(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ), (
          <xref ref-type="bibr" rid="ref5">5</xref>
          ), (
          <xref ref-type="bibr" rid="ref8">8</xref>
          )}, belong to the NP class of extremal combinatorial problems with a
linear structure. After transforming these models to the canonical form, the method of
directional search of variants [9] adapted to the structure of the given mathematical
expressions may be used to solve the problem.
4
        </p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Problem solution</title>
      <p>
        In the canonical form, an extreme combinatorial problem with a linear structure is
formulated as the problem of maximization of the criterial function
f (z)  c j z j (
        <xref ref-type="bibr" rid="ref9">9</xref>
        )
      </p>
      <p>jJ0
subject to restrictions
 aij z j  bi ; i  1, m ,
jJ j
where z is the vector of the desired variables: z  (z j j  1, n) ; z j 0, 1; j  1, n
; J0 and J j are the sets of numbers of independent variables included in the criterion
function and the i -th constraint of the problem, respectively; aij , bi , c j are real
numbers.</p>
      <p>
        For conversion of the mathematical models (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref4">4</xref>
        ), (
        <xref ref-type="bibr" rid="ref4">4</xref>
        )–(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ), {(
        <xref ref-type="bibr" rid="ref4">4</xref>
        ), (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ), (
        <xref ref-type="bibr" rid="ref7">7</xref>
        )} and
{(
        <xref ref-type="bibr" rid="ref4">4</xref>
        ), (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ), (
        <xref ref-type="bibr" rid="ref8">8</xref>
        )} to the canonical form (
        <xref ref-type="bibr" rid="ref9">9</xref>
        )–(
        <xref ref-type="bibr" rid="ref10">10</xref>
        ) it is necessary to perform the following
actions:
      </p>
      <p>а) associate with each variable xik , i  1, m , k  Ni the variable z j , j  1, n ,
where z is the vector of the searched variables;</p>
      <p>
        b) replace the designation of constants in expressions (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) with the symbols
utilized in the canonical form (
        <xref ref-type="bibr" rid="ref9">9</xref>
        )–(
        <xref ref-type="bibr" rid="ref10">10</xref>
        );
c) replace the expressions (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ), (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) and (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) with inequalities opposite in sign.
      </p>
      <p>The directed search method uses sequential fragmentation of the full set G of
solutions to the problem, until either the optimal plan is found, or the fact of the
incompatibility of the system of restrictions is established. The resulting new subsets of the
variants are subjected to formal analysis in order to reduce the amount of processed
information, to reduce the number of algorithm steps leading to the desired result,
and, therefore, to minimize the duration of the solution process.</p>
      <p>
        Let us suppose that at the beginning of a certain stage of solving the problem (
        <xref ref-type="bibr" rid="ref9">9</xref>
        )–
(
        <xref ref-type="bibr" rid="ref10">10</xref>
        ),  of disjoint subsets Gk , k  1,  , containing feasible plans, have been
identified in the full set of options G . The model (
        <xref ref-type="bibr" rid="ref9">9</xref>
        )–(
        <xref ref-type="bibr" rid="ref10">10</xref>
        ), aligned with the k -th subset of
options, takes the following form:
fk (z)   c j  (
        <xref ref-type="bibr" rid="ref11">11</xref>
        )
 c j z j  max ;
jJ0k
jJ01k
 aij z j  bik ; i  Ik ;
jJik
z  (z j j  J k ) ; z j 0, 1 ; j  Jk ,
(
        <xref ref-type="bibr" rid="ref12">12</xref>
        )
jJi1k
where bik  bi   aij ; i  Ik ; Ik is the set of numbers of constraints from (
        <xref ref-type="bibr" rid="ref10">10</xref>
        )
that are active with respect to plans for the subset of variants Gk .
      </p>
      <p>
        The properties of the k -th ( k  1,  ) subset of the variants of solutions to the
problem (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) - (
        <xref ref-type="bibr" rid="ref9">9</xref>
        ) are formulated in the following statements.
      </p>
      <p>Statement 1. The subset Gk does not contain admissible plans, if, for some
constraint i  Ik the condition  i(k2)  bik is satisfied.</p>
      <p>Statement 2. The constraint i  Ik is not active with respect to the plans of the
subset Gk , if for it the condition  i(k3)  bik is satisfied.</p>
      <sec id="sec-5-1">
        <title>Statement 3.</title>
        <p>If</p>
        <p>Ji2k  
and
for
some</p>
        <p>2
j  J jk
the
condition
 i(k2)  bik  i(k2)  aij holds, then of the complementary plans of the subset Gk only
those ones can be admissible in which [j  Ji2k ( j)](z j  1) .</p>
      </sec>
      <sec id="sec-5-2">
        <title>Statement 4.</title>
        <p>If</p>
        <p>J i3k  
and
for
some</p>
        <p>3
j  Jik
the
 i(k2)  bik  i(k2)  aij  holds, then of the complementary plans of the subset Gk only
those ones can be admissible in which [j  Ji3k ( j)](z j  0) .</p>
        <p>Here  i(k2) is the sum of the negative coefficients of the i -th constraint of the
combinatorial optimization problem;  i(k3) is the sum of the positive coefficients of the
i -th constraint of the combinatorial optimization problem.</p>
        <p>
          J i2k and Ji3k are the sets of numbers of independent variables that are present in
the i -th constraint of the system (
          <xref ref-type="bibr" rid="ref12">12</xref>
          ) with negative and positive coefficients,
respectively:
        </p>
        <p>Ji2k   j  Jik : aij  0 ; Ji3k   j  Jik : aij  0 ;</p>
        <p>
          Ji2k ( j) are the sets of numbers of independent variables that are present in the
i -th constraint of the system (
          <xref ref-type="bibr" rid="ref12">12</xref>
          ) with negative coefficients not exceeding the
value aij :
        </p>
        <p>Ji2k ( j)   j  j  Ji2k : aij  aij;</p>
        <p>
          Ji3k ( j) are the sets of numbers of independent variables that are present in the
i -th constraint of the system (
          <xref ref-type="bibr" rid="ref12">12</xref>
          ) with positive coefficients not less than aij :
        </p>
        <p>Ji3k ( j)   j  j  Ji3k : aij  aij .</p>
        <p>
          The algorithm of directed search of variants provides for the performance of the
following sequence of actions at each stage of solving the problem (
          <xref ref-type="bibr" rid="ref9">9</xref>
          )–(
          <xref ref-type="bibr" rid="ref10">10</xref>
          ):
1) Selection of a subset of variants for further partitioning.
        </p>
        <p>For further partitioning, a subset is selected that corresponds to the maximum
estimate of the criterion function:
where
 (G * )  max{ (Gk ); k  1, } ,</p>
        <p>k
 (Gk ) 

jJ01k
c j 

jJo3k
c j .
2) Selection of a variable the values of which are to be fixed.</p>
        <p>The variable, which is included in the criterion function with the maximum
coefficient, should be selected for this purpose.</p>
        <p>3) Partitioning a subset of options into two disjoint subsets.</p>
        <p>f (z*)  max { (Gk ), k  1,  } .</p>
        <p>
          It is advisable to start the solution with an analysis of the full set of options G . In
certain cases, this allows us to establish a priori the fact of incompatibility of the
system of restrictions (
          <xref ref-type="bibr" rid="ref10">10</xref>
          ) or to cut off a subset of options that does not contain
acceptable plans.
5
        </p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Conclusions</title>
      <p>The modern concept of cybersecurity management involves its consideration as a
process of performing a set of cyberprotection activities organized into projects. This
approach makes it possible to use the mathematical apparatus for making managerial
decisions developed in the theory of cybernetic systems and project management.</p>
      <p>Based on this concept, a mathematical model is built that allows you to create a
calendar plan for cyberprotection measures aimed at maximizing the profit of a
company in conditions of limited resources.</p>
      <p>It is shown that in the above statement, the task of planning the process for
implementing cyberprotection measures may be transformed into the canonical form of
combinatorial optimization problems with a linear structure related to the NP-class.
For its solution, it is proposed to use an algorithm based on the improved method that
implements the idea of directional search of variants.</p>
      <p>Despite the completeness of the proposed algorithm, the solutions that are
developed on the basis of the above models are approximate in nature due to the artificial
transition from continuous to discrete time. However, one has to put up with this,
since a constructive formalization of a given problem in continuous time, which could
make it possible to find its exact optimal solution taking into account all the real
limitations, is not possible.</p>
      <p>A further development of the described approach to cyberprotection activities
planning can be the transition to stochastic models in which all financial and time
indicators that relate to the implementation of cyberprotection measures are presented
with random variables with predetermined distribution laws.</p>
      <p>The optimization focus of the proposed method can provide increased
competitiveness, efficiency and financial performance of companies in the context of
contemporary cyber threats.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Kerzner</surname>
          </string-name>
          , Harold. Project Management:
          <article-title>A Systems Approach to Planning, Scheduling, and</article-title>
          <string-name>
            <surname>Controlling.</surname>
          </string-name>
          <article-title>12th edn</article-title>
          . Wiley, New-York,
          <year>2017</year>
          , 848 p.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Lapygin</given-names>
            <surname>Yu</surname>
          </string-name>
          .
          <article-title>Project management: from planning to efficiency estimation</article-title>
          , Omega-L, Moscow,
          <year>2008</year>
          , 252 p.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Bogdanov</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <article-title>Project management: corporate system - step by step</article-title>
          ,
          <source>Mann, Ivanov and Ferber</source>
          , Moscow,
          <year>2012</year>
          , 248 p.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Archibald</surname>
          </string-name>
          , R.D.
          <article-title>: Managing High-Technology Programs</article-title>
          and Projects. Wiley, New-York,
          <year>2008</year>
          , 396 p.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Dvira</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Razb</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shenharc</surname>
            ,
            <given-names>A. J.:</given-names>
          </string-name>
          <article-title>An empirical analysis of the relationship between project planning and project success</article-title>
          .
          <source>Int. J. of Project Management</source>
          ,
          <volume>21</volume>
          (
          <issue>2</issue>
          ),
          <year>2003</year>
          , p.
          <fpage>89</fpage>
          -
          <lpage>95</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Timmons</surname>
            ,
            <given-names>F.R.</given-names>
          </string-name>
          :
          <article-title>Project Management for the Security Professional</article-title>
          .
          <source>In: Security Supervision and Management</source>
          , 4th ed.,
          <source>Butterworth-Heinemann</source>
          ,
          <year>2015</year>
          , pp.
          <fpage>301</fpage>
          -
          <lpage>308</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Yevseyeva</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Basto-Fernandes</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Emmerich</surname>
          </string-name>
          , M.,
          <string-name>
            <surname>van Moorsela</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Selecting Optimal Subset of Security Controls</article-title>
          . In:
          <string-name>
            <surname>Cruz-Cunha</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Varajao</surname>
            <given-names>J.</given-names>
          </string-name>
          , et al. (eds.) The CENTERIS/ProjMAN/HCist Conference 2015,
          <article-title>October 7-9</article-title>
          , vol.
          <volume>64</volume>
          , pp.
          <fpage>1035</fpage>
          -
          <lpage>1042</lpage>
          (
          <year>2015</year>
          ). DOI:
          <volume>10</volume>
          .1016/j.procs.
          <year>2015</year>
          .
          <volume>08</volume>
          .625.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Fielder</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Panaousis</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Malacaria</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hankin</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Smeraldi</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>Decision support approaches for cyber security investment</article-title>
          .
          <source>Decision Support Systems</source>
          , vol.
          <volume>86</volume>
          , pp.
          <fpage>13</fpage>
          -
          <lpage>23</lpage>
          (
          <year>June 2016</year>
          ). DOI:
          <volume>10</volume>
          .1016/j.dss.
          <year>2016</year>
          .
          <volume>02</volume>
          .012.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Litvinenko</surname>
            <given-names>A</given-names>
          </string-name>
          .
          <article-title>Method for directed search in control and diagnostic systems</article-title>
          , Scientific publishing center NBUV, Kyiv,
          <year>2007</year>
          , 328 p.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Gnatyuk</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>Polishchuk</given-names>
            <surname>Yu</surname>
          </string-name>
          .,
          <string-name>
            <surname>Sydorenko</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>Sotnichenko</given-names>
            <surname>Yu</surname>
          </string-name>
          .
          <article-title>Determining the level of importance for critical information infrastructure objects</article-title>
          ,
          <source>Proceedings of 2019 IEEE International Scientific-Practical Conference: Problems of Infocommunications Science and Technology, PIC S and T</source>
          <year>2019</year>
          ,
          <article-title>Kyiv</article-title>
          , Ukraine, October 8-
          <issue>11</issue>
          ,
          <year>2019</year>
          , pp.
          <fpage>829</fpage>
          -
          <lpage>834</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Oksiiuk</surname>
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Chaikovska</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fesenko</surname>
            <given-names>A</given-names>
          </string-name>
          .
          <article-title>Security technique for authentication process in the cloud environment</article-title>
          ,
          <source>Proceedings of 2019 IEEE International Scientific-Practical Conference: Problems of Infocommunications Science and Technology, PIC S and T</source>
          <year>2019</year>
          , pp.
          <fpage>379</fpage>
          -
          <lpage>382</lpage>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Zahran</surname>
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Al-Azzeh</surname>
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gizun</surname>
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Griga</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bystrova</surname>
            <given-names>B. Developing</given-names>
          </string-name>
          <article-title>an expert system for assessment of information-psychological influence</article-title>
          ,
          <source>Indonesian Journal of Electrical Engineering and Computer Science</source>
          ,
          <volume>15</volume>
          (
          <issue>3</issue>
          ), pp.
          <fpage>1571</fpage>
          -
          <lpage>1577</lpage>
          ,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>