<!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>Extending GOReM through the RAMSoS method for supporting modeling and virtual evaluation of the Systemic Risk</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Angelo Furfaro</string-name>
          <email>a.furfaro@dimes.unical.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Teresa Gallo</string-name>
          <email>t.gallo@dimes.unical.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alfredo Garro</string-name>
          <email>a.garro@dimes.unical.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Domenico Saccà</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Andrea Tundis</string-name>
          <email>a.tundis@dimes.unical.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Centro di Competenza ICT-SUD</institution>
          ,
          <addr-line>Piazza Vermicelli, 87036 Rende (CS)</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Informatics</institution>
          ,
          <addr-line>Modeling, Electronics and Systems Engineering (DIMES)</addr-line>
          ,
          <institution>University of Calabria</institution>
          ,
          <addr-line>Via Ponte P. Bucci 41C, Rende (CS), 87036</addr-line>
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Simona Citrigno</institution>
          ,
          <addr-line>Sabrina Graziano</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>- Recently, due to the increasing complexity and wider adoption of heterogeneous systems, the management of security properties, vulnerabilities and risks of systems by integrating and structuring existing components, is becoming more and more crucial. A particular aspect to be considered is the Risk Analysis and, specifically, the analysis of the Systemic Risk. This risk derives from the interdependence of the system under consideration, from services provided by other systems and, in general, from the interactions among them. In fact, it may happen that an adverse event, which occurs at a certain system that is not properly controlled, can cause dangerous effects that, through its propagation to other interconnected systems, would/could compromise their operation. Thus, suitable engineering approaches need to be exploited to prevent and manage the risks arising from the integration of system components so as to increase the security of systems, data and even human life. In this context, the paper proposes specific extensions of a Goal Oriented methodology for Requirement Modeling, called GOReM, through the RAMSoS method, natively conceived for supporting dependability analysis. Such combination enables the modeling and the evaluation of the Systemic Risk centered on agent-based simulation techniques. The combination of RAMSoS and GOReM is experimented on a case study concerning an online payment service, by evaluating the impact of the failure of a single component on the overall system.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Copyright © held by the authors.</p>
      <p>Keywords— Cybersecurity, Modeling and Simulation,
Requirement Engineering, Systemic Risk Analysis.</p>
    </sec>
    <sec id="sec-2">
      <title>I. INTRODUCTION</title>
      <p>
        In recent years, the global crisis has shown that the
benefits of globalization are increasingly accompanied by a
growing interdependence and interconnection of systems and
services, bringing out new vulnerabilities coming from
unexpected directions. Global risk can cause a significant
negative impact on a number of countries and companies,
showing a systemic nature [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. In this view, it is important to
distinguish between the idiosyncratic shock which affects only
a single institution or activity, respect to the systemic risk that
can cause the rupture of an entire system (social, political,
economic, technological, etc.), causing a damage of
remarkable entity. Its main features are: (i) small fragilities
that combine to produce a more extensive failure; (ii) risk
sharing or contagion, when a loss triggers a chain of other
losses; (iii) hysteresis, when the system is unable to recover
after a shock. [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. The causes that lead to systemic events
reside primarily in the influence that the various actors in the
network have with each other; furthermore the systemic
importance of the various actors is not determined by their
size, but from the correlation degree among them. Similarly, it
is not always true that a negative event of large dimensions
can be always defined as systemic. In fact, the propagation
mechanism can be realized not only through the direct
exposure to a negative event caused by the shock, but also
indirectly. In this context, it is interesting to understand how it
is possible to modeling actors and factors arising from
systemic risk in order to fully consider them in the different
phases the of risk analysis.
      </p>
      <p>
        In this context, the paper aims at investigating in such
direction by exploiting engineering tools for representing
relationships among systems/services and observing their
behavior. Specifically, the adoption of the Systems
Engineering approach combined with Modeling and
Simulation techniques are used to catch how and which
entities of the overall system influence the operation of the
entire system and, as a consequence, the evaluation of the
Systemic Risk. In particular, the combination of a Goal
Oriented methodology for Requirement Modeling, called
GOReM [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ], with the RAMSoS method [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], natively
conceived for supporting systems dependability analysis, is
provided. Such combination enables the modeling and the
evaluation of the Systemic Risk by exploiting an agent based
simulator that has been ad-hoc implemented.
      </p>
      <p>The rest of the paper is structured as follows: Section II
presents the related work and highlights the main research
challenges related to the systemic risk in the cyber-security
domain; the combination of the GOReM and RAMSoS
methods are presented in Section III. A case study concerning
an online payment service is described in Section IV, whereas
the simulation-based evaluation is presented in Section V.
Finally conclusions are drawn in Section VI.</p>
    </sec>
    <sec id="sec-3">
      <title>II. A PANORAMA ON THE SYSTEMIC RISK</title>
      <sec id="sec-3-1">
        <title>A. Overview on the Systemic Risk</title>
        <p>
          As mentioned above the Systemic Risk is intended as a
risk deriving from the interdependence between the main
system, object of the analysis, and the services provided by
other systems and, in general, by the interactions between
them. It is possible to define the systemic risk as “any set of
circumstances that threatens the stability of or the public trust
in the system” [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. In this way, there is a strong link between
systemic risk and operational risk and it is interesting to
understand how it is possible to explicitly modeling factors
deriving from systemic risk in order to fully consider them in
the different phases of operational risk analysis and treatment.
        </p>
        <p>
          Companies inadvertently expose themselves to risks
outside of their structure, by outsourcing, interconnecting or
divulging their data to an increasingly complex and
inscrutable networks’ system. Some risk factors have been
identified and published on the “Zurich Cyber Risk Report”,
and, in particular, seven IT risks have been identified that
could threaten a systemic shock: internal corporate network,
outward counterparts and affiliates, supply chain and
outsourcing contracts, disruptive technologies (IoT in the first
place), critical infrastructure and external shocks [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ].
        </p>
        <p>
          These seven risks can be grouped in three areas “Near,
Everywhere and Distant”. The “near” area is related to the
usage of contracts, SLAs, internal corporate controls and
resiliency within a company. The “everywhere” area includes
all those companies that may have contractual relationships
with other companies around the world, so the risks are not
generally controlled by individual contracts, but by companies
and governments through standards, regulations, global and
national governance. The “distant” area is then related to all
those external risks to which individuals or group of
companies may not have any influence. Risk control coming
from external shocks is almost entirely in charge of
governments, intergovernmental organizations and
transnational organizations [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ].
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>B. Systemic Risk in the Finalcial field</title>
        <p>Systemic risk in the financial sector can be thought as the
probability that a failure of a significant portion of the
financial sector can occur, which can lead to a reduction in
credit availability. The materialization of such event is likely
to generate negative effects on the real economy. Systemic
risk in the financial sector is essentially related to the risk of
infection among financial institutions, which could generate a
potential destabilization of the entire financial system. Some
negative externalities, or inappropriate behaviors, generating
damaging effects on the financial market status, have great
impact on the increasing of the systemic risk. Several
preventing approaches have been proposed: making use of
suitable financial stability or strength indicators; measuring
the existing correlations between financial institutions; usage
of legislative bodies aiming at regulating the activities of the
actors in the financial sector to minimize such kind of risks.</p>
        <p>Four main reasons determining negative effects on a
system have been identified (the focus is on negative
externalities, i.e. economic and financial behaviors which
affect the overall market trend, and influencing systemic risk
growth):</p>
      </sec>
      <sec id="sec-3-3">
        <title>Informational contamination. Rapid news propagation</title>
        <p>having influence on financial topics leading to considerable
mismatches on assets and liabilities maturities. A striking
example of the materialization of such event is the failure of
Lehman Brothers, which led, from one side, Merrill Lynch to
merge with Bank of America, and, on the other side, Goldman
Sachs and Morgan Stanley to become ordinary banks, causing
in this way the collapse of US real estate stocks. The
involvement of important institutions in the crisis is relevant
for the propagation of negative information.</p>
      </sec>
      <sec id="sec-3-4">
        <title>Loss of specific and confidential information about the</title>
        <p>creditworthiness of the debtor. The failed credit bank
customers will have greater difficulty in obtaining a credit to
new banks. This is because new banks can apply more
restrictive policies for granting credit to new customers since
there is scarce information about them.</p>
        <p>Debt-Credit relations between banks. Credit institutions
and financial intermediaries are inclined to work more closely
among themselves at commercial level. The risk of a crisis
spreading in the whole financial system can be increased by
the interactions between banks and intermediaries, which can
be related not only to the interbank market, but also to a large
sector of derivatives markets, included CDS (Credit Default
Swap), guarantees, brokerage services, etc.</p>
        <p>Liquidity spiral. This negative externality occurs when
financial market operators, instead of selling financial assets
for gaining liquidity, use different strategies to restrict the new
credit extension, that means, for example, making a credit
rationing having high-margin/cuts, or increasing the interest
rate for the grant allocation. These activities can reduce prices
and outputs and, can increase the possibility of failure in
accessing the loan. This kind of problem is caused by an
extreme exposure to risk of the liquidity shortage by financial
institutions, which make use of high debt strategies.</p>
        <p>In the end, the negative propagation effects can be greater
when the failure is related to large institutions having different
interconnections and in the presence of a not transparent
market structure (OTC markets, not characterized by the
typical requirements for regulated markets). Government
institutions implicitly support and foster financial institutions
to increase their size and interconnections, so that they can
increase the possibility of being saved in time of crisis, since
they are “too big to fail”.</p>
      </sec>
      <sec id="sec-3-5">
        <title>C. Systemic Risk in the Information Technology field</title>
        <p>Microsoft has proposed the creation of a G20+20 Cyber
Stability Board, that means, 20 governments and 20
companies, operating in the information and communication
technology, which should work in synergy to draw up a set of
basic principles ensuring, from one side, an 'acceptable
behavior' in cyberspace and, on the other side, some
“guidelines” to improve IT risk management.</p>
        <p>The following recommendations about potential systemic
risk impact in IT, can be useful for both large and small
organizations to survive to a potential cyber shock, and can be
considered as a kind of “shock absorber” that can potentially
reduce the magnitude of the shock: (i) improving the resilience
and incident response at system level; (ii) expanding security
concepts aim at involving third-party suppliers as much as
possible; (iii) providing targeted subsidies; (iv) considering
other measures, such as “Stability Board” and the “G-SIFIs”
requirements.</p>
        <p>For small business enterprises there are three categories of
recommendations: Basic, Advanced and Resilience.</p>
        <p>Basic. The main 5 crucial recommendations of the 20
Critical Security Controls SANS, are taken in consideration:
(1) Whitelist application - organizations should enable
computers to perform only a limited set of pre-approved
programs; (2) Standard system configurations usage
computers with a few standard configurations are less
expensive and easier to defend; (3) Patch application software
and (4) System software within 48 hours - large companies
should check software on a regular basis looking for any bugs
in order to drastically reduce the opportunities of
vulnerabilities exploitation by hackers;(5) Reduction of the
number of users having administrative privileges.</p>
        <p>Advanced. Broadening risk horizon - taking in
consideration counterparts, contracts and outsourcing
agreements, and critical infrastructure, each part should be at
least partially controlled by contracts, agreements on service
levels, in-depth site visits and audits; Cyber Insurance usage
to transfer IT risks, particularly risks associated with
thirdparty data breaches or business interruption; Requiring
standard and more resilient and safe products to key suppliers;
Acquiring at management level a broader view on IT risks.</p>
        <p>Resilience (the ability of large companies to recover from
interruptions in the shortest time as possible): Redundancy
redundant power and telecommunications suppliers, ISP
alternately connected to the peering point, work-around with
little dependence on IT in order to provide some alternative
solutions when Internet access is off; well defined Response to
incidents and business continuity planning - standard
operating procedures, clear objectives based on metrics,
quantification of the needed time to detect an accident or an
intrusion in the system; Simulating scenarios and security
training - analyzing the most likely and the most dangerous
cyber risks and test their Security Response Team, together
with the company management in order to build a historical
memory for incident response.</p>
        <p>III. COMBINING GOREM AND RAMSOS METHODS FOR</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>MODELING AND SIMULATING SYSTEMIC RISK</title>
      <sec id="sec-4-1">
        <title>A. GOReM Overview</title>
        <p>
          GOReM (Goal Oriented Requirements Methodology) is a
lean, easy to master methodology for capturing and
maintaining up-to-date requirements of large systems
operating in complex application domains. GOReM first
definition [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] was done in 2014, for supporting the
requirements engineering activities in an industrial research
project [
          <xref ref-type="bibr" rid="ref5 ref6 ref7">5, 6, 7</xref>
          ] where numerous stakeholders, coming from
several industrial and academic domains, with different goals,
skills and languages had to cooperate. Since then, GOReM has
been incrementally improved through its actual exploitation
for better supporting the requirements modeling aspects and it
has been experimented in other real industrial research
projects. Moreover, a set of lessons learned have found a
response in the current proposal. The full-fledged version of
GOReM methodology is described in this section. The
GOReM method is centered on the UML notation, which is
easy to use and it simplifies concepts sharing with a wide
variety of stakeholders. The resulting requirements modeling
activity is recognized by the actual users to be easier and more
effective than their past requirements elicitation activities.
        </p>
        <p>GOReM consists of three main phases, each of which is
devoted to modeling specific aspects of a requirement
engineering process: Context Modeling, Scenario Modeling,
Application Modeling; specifically:



in the Context Modeling phase, the stakeholders are
identified along with their objectives as well as the
dependencies among softgoals; moreover, the rules and
regulations that govern the business context under
analysis are identified and documented.
in the Scenario Modeling phase, different business
scenarios are derived from the Context model, in terms
of roles that are played by the stakeholders involved in
the modeled scenario, their specific goals and their
dependencies, and the rules and regulations that govern
each elicited business scenario. Furthermore specific
analyses that show the strengths, weaknesses,
opportunities and threats are also performed to guide and
support strategic decisions at business level related to the
future work.
in the Application Modeling phase, one or more
application scenarios are introduced in order to specify
main functionalities which should be provided by a
single business scenario resulting from the previous
phase.</p>
        <p>Multiple scenarios are concurrently set down. A sketch of
the reference process for the GOReM method along with its
main work-products is shown in Figure 1.</p>
        <p>
          The lessons learned from the experience derived by
exploiting the GOReM method on important research projects
by cooperating with industrial partners such as ACI
Informatica [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] and Poste Italiane [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ], allowed to catch not
only strengths but also weaknesses of the method, which have
been considered to refine and improve GOReM. The most
interesting and relevant “lessons learned” are reported in the
following.
        </p>
        <p>Lesson 1: human interactions and cooperation. It is
probably the most difficult task due to different skills,
backgrounds and knowledge which lead to big
misunderstandings, lethal for establishing system
requirements. It is likely to encounter mistakes when a new
application domain is being explored because of: (i)
misleading interpretation, due to the coexistence of different
interpretations of stakeholder goals and requirements, that
usually happens when people have different skills and the
same concepts are interpreted differently according to the
stakeholder’s background; (ii) conflicting specifications, when
specific strategies, that could potentially create strong
disadvantages in other application scenarios are adopted in
order to reach a specific goals in a specific application
context; (iii) late discovery of redundancy, when in advanced
development project stages the same concept is described and
represented differently several time or different terminologies
is used for describing the same concepts (iv) fragmentation of
efforts; (v) weak focus on objectives for achieving the desired
goals and being competitive and effective; (vi) partner
coordination, when there exist different partners having
different objectives to reach; (vii) work-product integration,
when there is a need to integrate, harmonize and handle
deliverables, services and products coming from different
tasks.</p>
        <p>Lesson 2: cross-domain aspects. There are some recurrent
features that might be identified once for all as well as
common characteristics for each domain of interest that have
to be considered and properly represented, which in turn arise
questions that need to be answered, such as:
space: Is the considered context model influenced by the
location and the territorial extension (e.g. regional,
national, international, members states)?
time: Is the considered context model influenced by
temporal aspects (e.g. a new law replaces partially or
totally a previous one )?




context history: does the current context state depend on
a previous ones?</p>
        <p>Lesson 3: legal aspects. The specific context model and
the different business scenarios are handled by several Rules
and Regulations that might be in conflict. As a consequence, it
is important for modeling a context and any specific business
scenario, to understand which laws are involved, which is a
policy as a “standard” or a best practice as a “guideline” that
can be adopted or not, depending on the stakeholders needs. In
addition, there are stakeholders of specific customers that can
have a set of internal policies which, in turn, should be
considered and their eventual contrast with some laws or
requested best practices should be discovered and resolved.
Finally, as a desired service can be used in different Nations,
the requirement model has to analyze and manage the legal
usability of a service for a given customer. Furthermore,
requirements engineering processes should manage legal
aspects by continually monitoring their changes over the time,
during the overall system lifecycle.</p>
        <p>Lesson 4: tracing evolution. Business context, scenarios
and applications can evolve because of their dynamic nature.
It is important to have some tracing mechanism that allows
knowing which application model version from which
scenarios model version has been derived and this last one to
which business context model version refers to. For big and
continuously evolving system engineering process, this is of
fundamental importance and especially for maintaining
control and governing the system evolution along its life.</p>
        <p>Lesson 5: inter-scenarios dependencies and reuse. Quite
often, business scenarios evolve with a specific team of
analyst/designer (sub)domain experts that have the objective
to go ahead following their requirements engineering for
specific final services. This can lead to duplication of work
and, worse, to services which do the same thing (same
requirements) but in a different way. This is often difficult to
discover and create customer dissatisfactions. This happen, for
example, when the same stakeholder has two different goals
which belong to two different scenarios, but the two
application models reaching the two goals, share many “what
to do” but unawares.</p>
        <p>
          In the light of the above reported lessons learned during
the method exploitation, starting from Lesson n.1, an updated
and refined version of the GOReM method in [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] is provided.
        </p>
      </sec>
      <sec id="sec-4-2">
        <title>1) The Context Modeling phase</title>
        <p>The Context Modeling phase aims at clearly representing
the reference business domain for the project under
consideration. The work-products of this phase are: a
Stakeholder Diagram, which shows a (hierarchical)
specification of all the involved stakeholders, each of which is
in turn characterized by a set of Softgoals they intend to
pursue; a Softgoal Dependency Diagram, which shows the
relationships among Softgoals, (i.e., contribute, hinder,
include, extend, generalize); a Rules and Regulations report
shortly describing the rules and regulations governing the
Context, distinguishing between Laws, which can be National
or International, and known used Policies and Best practices.</p>
        <p>Whereas there are some features that need to be identified
and analyzed according to the specific scenario, such as:
subject: who/what is the subject of the described context?
user profile: are the user preferences/personal features
represented in the context model? Does the system
describe the user’s characteristics one by one or does it
provide a role-based model of user classes?</p>
        <p>Table I shows symbols already used in the first version of
the methodology, while table II shows the identified and
considered types of rules and regulations.</p>
      </sec>
      <sec id="sec-4-3">
        <title>2) The Scenario Modeling phase</title>
        <p>The Scenario Modeling phase specializes the Context
Model through the identification of evolutionary scenarios that
have to be modelled within the context of interest. Such
scenarios are identified through an analysis that takes into
account the roles played by stakeholders in each scenario, by
indicating the specific Goals related to some Softgoals in the
context model and the Rules and Regulations that govern the
scenario. Table III shows symbols used for roles and for the
associations with the stakeholders.</p>
        <p>
          The SWOT Analysis activity [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ], represented in a matrix
as showed in Table IV, provides an assessment of internal and
external factors that may affect the scenario and may support
decisions whereas to continue with the next phase, that is the
Application Modeling. For Goals and dependencies diagram,
symbols in Table I are used.
        </p>
        <p>Rules and Regulations selection activity considers which
rules and regulations, identified in the Context Modeling
phase, must be considered in the modelled scenario, by
identifying them with a structured ID, describing them,
specifying if they are laws, policies and best practices,
indicating the adopters, and warning possible dependencies
with other considered rules. In particular, GOReM uses the
matrix formats, showed in table V. This is an improvement
introduced and allows to better manage the issues discussed in
lesson 3 related to legal aspects.</p>
      </sec>
      <sec id="sec-4-4">
        <title>3) The Application Modeling phase</title>
        <p>Starting from the scenarios defined during the previous
phase, in the Application Modeling phase, a set of specific
business scenarios might be identified. This phase defines
application scenarios that are used to specify in detail the
capabilities to be provided in the specific scenarios identified
in the previous phase, along with main use cases description,
actors and processes. In particular, each main use case may
become a service to be developed as a research prototype
and/or developed and engineered as part of a more complete
industrial system.</p>
        <p>
          In addition, some processes can be specified using UML or
BPMN notations [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ].
        </p>
        <p>Table VI shows basic used symbols in modelling an
application scenario. The Package is a Namespace of use
cases, which are not in the scope of the application which is
modelled, but are assumed that they exist in some different
Application model, even in an Application model obtained
from a different Scenario Model, while in this Application
Model they have to be identified and extended through the
standard “extend” UML relationship.</p>
        <p>This is how GOReM is now responding to lesson n.2
cross-domain aspects and lesson n.5, Inter-scenarios
dependencies and reuse. The corresponding work-products
should be more precise and should indicate exactly to which
use case of which scenario an extending use case refers to and
the kind of needed extension.</p>
        <p>Every UML based diagram can be enriched with the UML
comment symbol which allows adding a description to all the
GOReM diagrams. However, a textual description and
complete information is located in the corresponding
workproduct.</p>
        <p>
          Finally, concerning lesson n.4, tracing evolution, some
shared existing policy of naming and versioning method/tool,
for every model (context, scenario, application) and each of its
work-products, must be used. In addition, some configuration
management tool should be of help in maintaining the
requirements evolution of the whole system [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ]. This allows
knowing exactly for each application model, which scenario
model and context model refer to. In addition, whichever
refinement for a model created in one of the three GOReM
phases must produce a new model referring the model it wants
to improve. Moreover, each application model, if implemented
should refers to its development artefacts and releases in
operation.
        </p>
      </sec>
      <sec id="sec-4-5">
        <title>B. Combining RAMSoS and GOReM</title>
        <p>
          RAMSoS [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ] is an agent-based method that aims at
supporting the dependability analysis of Systems of Systems
(SoSs). It is conceived as an extension of RAMSAS [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ], a
model-based method for the reliability analysis of systems
through simulation, based on UML/SysML for modeling the
system structure and behavior, and on well-known simulation
platforms, such as Mathworks Simulink and OpenModelica.
The RAMSoS method defines three main phases, which in
turn are divided into activities (see Table VII).
        </p>
        <p>System
Design
Systemic</p>
        <p>Risk
Evaluation
Scenario
Modeling</p>
        <p>and
Use Case</p>
        <p>Modeling</p>
        <p>
          A full description of RAMSoS can be found in [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ];
whereas Table VIII reports the main phases (Requirement
Analysis, System Design, e System Risk Evaluation) that are
identified by combing GOReM and RAMSoS for modeling
the systemic risk aspects and supporting its analysis through
agent-based simulation.
        </p>
        <p>In particular, some phases are complementary, some others
use the output produced from a method as input for the other
one. The resulting method will be exemplified through a case
study in the next Section.</p>
        <p>IV. A CASE STUDY ON AN ONLINE PAYMENT SERVICE
The case study under consideration falls within the online
payment services and in particular exemplifies the approach
based on combination of GOReM and RAMSoS, adopted for
systemic risk analysis applied to a service of Electronic
Payment Online (PEO) of Poste Italiane. The main objectives
of this study are: (i) The assessment of systemic risk, when
there is a dysfunctional behavior in one of the service
components, in terms of the propagation of a disservice among
other components; (ii) impact of a service failure to the
services.</p>
      </sec>
      <sec id="sec-4-6">
        <title>A. Service Description, Risk Factors and Involved Actors</title>
        <p>The PEO service is based on two services: SMS</p>
      </sec>
      <sec id="sec-4-7">
        <title>Notifications and Payments and Transactions, both designed</title>
        <p>to be used from smartphones and tablets. SMS Notifications
allows to receive SMS messages on transactions made on a
bank account or by “PostePay” card; whereas Payments and
Transactions allows bank transfers, payment of bills, money
transfer via MoneyGram, PostePay top up, or balance check
and movements. In this context, the aim of this experience is
the identification and the analysis of systemic risk factors
linked to the PEO service. In particular, the risk of success or
failure of the PEO service relies on two complementary
services: SMS Notifications and Payments and Transactions,
plus the IT Internal Infrastructure. A preliminary analysis
shows that the SMS Notification service is linked to the Mobile
Service Provider whose goal is to notify the user of the
transaction (payment, charging, etc.). Whereas the Payments
and Transactions is related both to the Web Service Provider
that provides access to the Intranet / Internet and the Energy
Provider that supports the entire infrastructure with the
electrical service. An additional risk factor is related to the
underlying IT infrastructure (hardware, servers, etc.).</p>
        <p>In this context, the following risk factors: IT Internal,</p>
      </sec>
      <sec id="sec-4-8">
        <title>Outsourcing and Contracts, Infrastructure Upstream, are</title>
        <p>identified and described along with the related actors. In
particular: (i) the IT Internal risk relies on the reliability of the</p>
      </sec>
      <sec id="sec-4-9">
        <title>Internal IT infrastructure; (ii) the Outsourcing and Contracts</title>
        <p>risk depends on the WebServiceProvider for supporting the
monetary transactions; (iii) whereas Infrastructure Upstream
risk is related to the availability of both the mobile
notification service offers by the MobileServiceProvider and
the electricity provided by the ElectricityProvider.</p>
        <p>Furthermore, since the approach requires the input of
information related to potential risk groups (e.g. contract type,
involved partner), for each actor, the following risk groups
have been identified:</p>
      </sec>
      <sec id="sec-4-10">
        <title>IT-Internal-Infrastructure: Good, Standard, Poor;</title>
      </sec>
      <sec id="sec-4-11">
        <title>WebServiceProvider: High, Medium, Low;</title>
      </sec>
      <sec id="sec-4-12">
        <title>Energy Provider: High, Standard;</title>
      </sec>
      <sec id="sec-4-13">
        <title>MobileServiceProvider: HighLevelOfService,</title>
        <p>StandardLevelOfService;</p>
      </sec>
      <sec id="sec-4-14">
        <title>SMS Notification: Good, Low;</title>
      </sec>
      <sec id="sec-4-15">
        <title>Payments and Transactions: LowRisk, HighRisk.</title>
        <p>The output of this analysis is the risk level of the PEO
service according to the different levels of risk of the other
services. It is estimated in terms of success and failure, where
Success = 1-Failure, therefore Success + Failure = 1. The
higher the percentage / value of the Success, the lower the
level of risk associated to it and as a consequence the lower
the risk level of the PEOservice. Vice versa the lower the
percentage of the Failure variable, the lower the level of risk
associated to it, and then the lower the risk level of the PEO
service. In the following, the extended version of GOReM is
employed for the modeling and evaluating the system above
described.</p>
      </sec>
      <sec id="sec-4-16">
        <title>B. Context Modeling</title>
        <p>As described above, the context falls within the scope of
online payment systems in which through a websites is
possible to make purchases, transfers of money etc. A
particular important diagram of GOReM is the Dependency
diagram (Fig. 2) that at the same time allow to represents the
stakeholders, the goals that they are meant to achieve and
dependencies (conflicts/extensions and so on among goals).</p>
        <p>In this phase of the method, as it is shown in Figure 3, both
the roles played by the stakeholders in each specific scenario
are identified, and the goals related to each identified role are
highlighted. Furthermore the dependencies among the Goals
are shown in Table IX.</p>
      </sec>
      <sec id="sec-4-17">
        <title>D. Application Modeling</title>
        <p>The application model allows describing, with more
details, a particular instance of the scenario under
consideration. Specifically, Figure 4 represents the case of
failure of a service to third parties necessary for the provision
of online payment services, and the impact on the other users
who use the service, possible costs (impact) for the failure to
provide the service.</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>V. SIMULATION-BASED EVALUATION</title>
      <p>Once the model and relationships among actors and their
goals are well described and defined, it is possible to use
simulation to provide an assessment about what can happen
into an application scenario according to specific inputs to the
system. In the following, first a statistic based tool is exploited
for a static analysis and then a more dynamic is adopted.</p>
      <sec id="sec-5-1">
        <title>A. A statistics-centered approch</title>
        <p>
          GeNIe (Graphical Network Interface) is a development
environment for the creation of decision models [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ]. It is
presented as a graphical user interface of SMILE, a
platformindependent library that implements functions for the
execution and analysis of probabilistic / decision models, such
as Bayesian networks, used to make probabilistic reasoning in
decision-making situations under uncertainty.
        </p>
        <p>Starting from different contractual terms of the services
described above, it is possible to obtain an assessment in terms
of the level of success (and complementary to the failure
level) of the PEO service, which in turn can be associated with
a level of risk. From the experience of the domain experts of
Poste Italiane, the following percentage range is used:</p>
      </sec>
      <sec id="sec-5-2">
        <title>Success&gt;90% then LowRisk</title>
        <p>89%≥Success&gt;70 then MediumRisk;</p>
      </sec>
      <sec id="sec-5-3">
        <title>Success≤70 then HighRisk;</title>
        <p>A first example is shown in Figure 5. By considering a
combination of services based on the percentages shown in
each block the probability of success is 99%, which means a
LowRisk. The diagram is also enriched with to additional
blocks: FinancialGain and InvestmentDecision, lead the
decision maker to make decisions about the quality of the
services to be subscribed. In this case, as shown by the
“InvestmentDecision” and “Financial income” blocks, it is
convenience to invest (with a gain of € 9850) by subscribing
services with such quality parameters indicated, compared to
not invest (€ 6940).</p>
        <p>Conversely, considering a low level quality of the SMS
Notification service, and by also subscribing a low level
quality of the WebServiceProvider service, the level of risk
spreads systematically on the Payments and Transactions
services by influencing drastically the PEO service. In fact, the
success rate drops to 63%, which means “HighRisk” (Fig. 6).</p>
      </sec>
      <sec id="sec-5-4">
        <title>B. An Agent-based approach</title>
        <p>
          This second approach is centered on a reference
framework, called ReActor, an object oriented framework
based on discrete-events simulation[
          <xref ref-type="bibr" rid="ref3">3</xref>
          ]. The reference model
adopted for the definition and the development of the
agentbased simulator for the analysis of the systemic risk is
represented in Figure 7. In particular for each static blocks
represented in Figure 6, a specific ReActor entity is defined.
Then a behavior is associated to each of them, based on the
follow four main actor models:




        </p>
        <p>ServiceModel: this model is employed for services
belonging in the specific scenario to be analyzed; its
aim is to provide the service associated to it;
AttackModel: this model is adopted for modeling
attack scenarios and related typologies of attacks
respect to a specific ServiceModel;
RecoveryModel: it aims to model policies and
countermeasures in order to make more resilient a
specific service when some anomalies occur;
ObserverModel: it is employed for monitoring
specific properties of interest which are strictly
related to a specific service; it aims to collect
information of specific properties, locally at service
level or globally at scenario level.</p>
        <p>Such models have been implemented by extending the
above mentioned agent-based framework by mapping them as
agents, that is, autonomous entities each of which has its own
behavior. In particular, the ServiceModel is mapped as</p>
      </sec>
      <sec id="sec-5-5">
        <title>ServiceAgent; the AttackModel as an AttackAgent; the</title>
      </sec>
      <sec id="sec-5-6">
        <title>RecoveryModel is mapped as a RecoveryAgent and the</title>
      </sec>
      <sec id="sec-5-7">
        <title>ObserverModel as an ObserverAgent.</title>
        <p>Such agents and their behaviors are achieved by
implementing and extending the basic class ActorBehavior of
the Reactor framework, which in turn, has been also defined
as Observable. Consequently all agents that are introduced in
the system, and that extends ActorBehavior, are potentially
trackable. Whereas, the ObserverModel and as a consequence
the ObserverAgent, has been marked as Observer, that is with
the ability to monitor other agents. Finally, the behavior of
each agent is characterized by different types of Message, that
can respectively transmit, receive and handle in order to
enable the communication with the other agents. As an
example, the diagram in Figure 8 shows the behavior of the
ServiceAgent defined as a state machine.</p>
        <p>In particular, when the simulation starts, the status of
ServiceAgent becomes Working. This means that the
ServiceAgent is doing its job/delivering the service
correctly.When an anomaly occurs, the state Working can get
two types of events: ServiceFailure and
ServiceFailurePropagation. Such events change the status of
ServiceAgentinto NotWorking, which, in turn, is defined in
terms of two sub-states DirectFailure and IndirectFailure. In
particular, when the ServiceFailure event occurs, the status
NotWorking declines into the state of DirectFailure. This
means that the failure of the service was due to internal factors
of the service. This condition triggers the propagation of the
failure by a ServiceFailurePropagation event to the services
that depend from the ServiceAgent; this means that a service
of the system, could receive a ServiceFailurePropagation
event, which turns its status into NotWorking and specifically
into the IndirectFailurestatus. This implies that its failure was
due to a failure propagated by third parties on which it
depends.Finally, from the NotWorking status, the ServiceAgent
can receive a ServiceRepearing event that brings it into the
Repearing status. This allows to recover/restore the
ServiceAgent and propagate this information among the other
services depending on it, so as to make them all Working
again.</p>
      </sec>
      <sec id="sec-5-8">
        <title>C. Discussion on the gathered results</title>
        <p>From the analysis conducted on this case study, it is clear
how the quality of services level and the involved system
infrastructure (internal or third-party), strongly influence the
success or the failure for the delivery of a service. In this case
the use of a low quality Notification service is a critical. As a
consequence, the choice of a good MobileServiceProvider,
combined to a Medium/High quality of the
WebServiceProvider is essential for making the system more
resilient. Indeed, (i) in the first scenario, which involves the
deployment of services with a high level of reliability, or in
the second scenario, which combines medium-quality
services, the system operates to keep resilient in presence of
permanent failures, or temporary blackout, of some involved
entities; (ii) instead, the second scenario highlights the high
risk due to the strong dependence on entities that provide low
robust / reliable services.</p>
        <p>Whereas from the conducted study based software agents,
other useful and more dynamic information are gathered from
the simulation for each service involved (see Table X); for
example: if a service is available (working) or unavailable (not
working), the time when the failure of a service happened
(timestamps), if the cause of the failure is due to external
factors, the impact (e.g. in terms of money) per unit of time
(e.g. per hours).
WebService</p>
        <p>Provider
Payment &amp;
Transaction</p>
        <p>PEO
WebService</p>
        <p>Provider
Payment &amp;
Transaction</p>
        <p>PEO
…</p>
        <p>Timestamp
44
44
47
56
58
64
…</p>
        <p>Service
status</p>
        <p>Not
Working</p>
        <p>Not
Working</p>
        <p>Not
Working
Working
Working
Working
…</p>
        <p>External
causes of
failure
no
yes
yes
…</p>
        <p>Impact (€)
per Hour
3
2
5
3
2
5
…</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>VI. CONCLUSION</title>
      <p>This paper presented a panorama on the concept of risk
and, in particular, the systemic risk in the financial sector as
well as in the cyber-security field. Furthermore, some recent
research efforts about the modeling and assessment of
systemic risk are also presented. In particular, an extended
version of GOReM combined with the RAMSoS method has
been employed.</p>
      <p>A statistical analysis tool for the assessment of systemic
risk based on a probabilistic approach, called GeNIe, has been
adopted; whereas an actor-based and agent-oriented
framework for the development of a simulation platform for
supporting the evolutionary assessment and dynamic behavior
analysis of system has been exploited.</p>
      <p>Finally, a first experimentation of such above mentioned
conceptual and technical tools has been conducted on a case
study concerning the assessment and the impact of failures on
an online payment service.</p>
    </sec>
    <sec id="sec-7">
      <title>ACKNOWLEDGMENT</title>
      <p>This work has been partially supported by the “National
Operational Programme for Research and Competitiveness”
2007-2013, Technological District on Cyber Security
(PON03PE 00032 2 02), funded by the Italian Ministry of
Education, University and Research, and the Italian Ministry
of Economic Development.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>ACI</given-names>
            <surname>Informatica</surname>
          </string-name>
          <article-title>-</article-title>
          website http://www.informatica.aci.it/
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>M.</given-names>
            <surname>Billio</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Getmansky</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.W.</given-names>
            <surname>Lo</surname>
          </string-name>
          , and L. Pelizzon, “
          <article-title>Econometric measures of connectedness and systemic risk in the finance and insurance sectors”</article-title>
          ,
          <year>February 2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>F.</given-names>
            <surname>Cicirelli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Furfaro</surname>
          </string-name>
          , L. Nigro,“
          <article-title>A DEVS M&amp;S framework based on Java and actors”</article-title>
          ,
          <source>Proc. of 2nd European Modelling and Simulation Symposium</source>
          , pp.
          <fpage>337</fpage>
          -
          <lpage>342</lpage>
          ,
          <string-name>
            <surname>Barcelona</surname>
          </string-name>
          (Spain),
          <source>October 4-6</source>
          ,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>S.</given-names>
            <surname>Citrigno</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Furfaro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Gallo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Garro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Graziano</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Saccà</surname>
          </string-name>
          , “
          <article-title>Mastering concept exploration in large industrial research projects</article-title>
          ,
          <source>” Proceedings of the INCOSE Italian Conference on Systems Engineering (CIISE2014)</source>
          , Rome(Italy),
          <source>November 24 - 25</source>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>A.</given-names>
            <surname>Furfaro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Gallo</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Saccà</surname>
          </string-name>
          , “
          <article-title>Modeling cyber systemic risk for the business continuity plan of a bank,”</article-title>
          <source>Proceedings of the International Cross Domain Conference and Workshop (CD-ARES'16)</source>
          ,
          <source>Salzburg (Austria)</source>
          ,
          <source>August 31-September 2</source>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>A.</given-names>
            <surname>Furfaro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Gallo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Garro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Saccà</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Tundis</surname>
          </string-name>
          , “
          <article-title>Requirements specification of a Cloud Service for Cyber Security Compliance Analysis”</article-title>
          ,
          <source>Proceedings of the 2nd International Conference on Cloud Computing Technologies and Applications (CloudTech'16)</source>
          , IEEE, May
          <volume>24</volume>
          -16,
          <string-name>
            <surname>Marrakesh</surname>
          </string-name>
          (Morocco),
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>A.</given-names>
            <surname>Furfaro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Gallo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Garro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Saccà</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.</given-names>
            <surname>Tundis</surname>
          </string-name>
          , “
          <article-title>ResDevOps: A Software Engineering Framework for Achieving Long-lasting Complex Systems”</article-title>
          ,
          <source>Proceedings of the 24th IEEE International Requirements Engineering Conference</source>
          , Beijing (China),
          <source>September 12-16</source>
          ,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>A.</given-names>
            <surname>Garro</surname>
          </string-name>
          , and
          <string-name>
            <given-names>A</given-names>
            <surname>Tundis</surname>
          </string-name>
          , “
          <article-title>On the Reliability Analysis of Systems and SoS: the RAMSAS method and related extensions”</article-title>
          ,
          <source>IEEE Systems Journal (IJS)</source>
          , vol.
          <volume>9</volume>
          (
          <issue>1</issue>
          ), pp.
          <fpage>232</fpage>
          -
          <lpage>241</lpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <surname>GeNIe</surname>
          </string-name>
          &amp; SMILE - http://www.openclinical.org/dld_genieSmile.html.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <surname>National</surname>
          </string-name>
          Security - https://www.sicurezzanazionale.gov.it/sisr.nsf/ letture/prevenire-e
          <article-title>-gestione-dei-rischi-globali</article-title>
          .html.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>B.</given-names>
            <surname>Phadermrod</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.M.</given-names>
            <surname>Crowder</surname>
          </string-name>
          , and
          <string-name>
            <given-names>G.B.</given-names>
            <surname>Wills</surname>
          </string-name>
          , “
          <article-title>Developing SWOT Analysis from Customer Satisfaction Surveys”</article-title>
          ,
          <source>Proc.of the 11th IEEE International Conference on e-Business Engineering (ICEBE)</source>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>Poste</surname>
          </string-name>
          Italiane - website: https://www.poste.it/
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>Unified</given-names>
            <surname>Modeling Language (UML</surname>
          </string-name>
          ) - http://www.omg.org/spec/UML/
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          <source>[14] World Economic Forum - Global risks 2014. Ninth Edition</source>
          .
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>Zurich</given-names>
            <surname>Insurance Company - Risk Nexus</surname>
          </string-name>
          .
          <article-title>Beyond data breaches: global interconnections of cyber risk</article-title>
          .
          <source>April</source>
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          <source>[16] SysML V1</source>
          .4 Specification Release http://www.omgsysml.org/
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <surname>Meyer</surname>
            <given-names>B</given-names>
          </string-name>
          , “
          <article-title>Agile! The Good, the Hype and</article-title>
          the Ugly”, Springer International Publishing,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>