|
|
Digital Library of the
European Council for Modelling and Simulation |
|
Title: |
Multi-Formalism Modeling For Evaluating The Effect Of Cyber Exploits |
|
Authors: |
Alexander H. Levis, Bahram Yousefi |
|
Published in:
|
(2014).ECMS 2014 Proceedings edited
by: Flaminio Squazzoni,
Fabio Baronio, Claudia Archetti,
Marco Castellani European Council for
Modeling and Simulation. doi:10.7148/2014 ISBN:
978-0-9564944-8-1 28th
European Conference on Modelling and Simulation, Brescia,
Italy, May 27th – 30th,
2014 |
|
Citation
format: |
Alexander
H. Levis, Bahram Yousefi (2014). Multi-Formalism Modeling For Evaluating The
Effect Of Cyber Exploits, ECMS 2014 Proceedings edited by: Flaminio Squazzoni, Fabio Baronio, Claudia Archetti,
Marco Castellani European Council for Modeling and Simulation. doi:10.7148/2014-0541 |
|
DOI: |
http://dx.doi.org/10.7148/2014-0541 |
|
Abstract: |
An approach based on
multi-formalism modeling to model, analyze, and evaluate the effect of cyber
exploits on the coordination in decision making organizations is presented.
The focus is on the effect that cyber exploits have on information sharing
and task synchronization. The organization members are supported by systems
and interact with each other through communication networks. Colored Petri
Nets are used to model the decision makers in the organization and computer
network models to represent their interactions. Protocols of interaction are
modeled by rules of enablement where the decision makers, when interacting, must
refer to the same state of the environment. Two measures of performance are
then introduced: information consistency and synchronization. The multiformalism based modeling approach and the computation of the measures of performance are illustrated
though a simple example. |
|
Full
text: |
|
