Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Single Trial Authentication with Mental Password Writing Read chapter Read first chapter

2015 | OriginalPaper | Chapter

Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets

Authors : Chrysovalandis Agathangelou, Chryssis Georgiou, Ileana Papailiou, Anna Philippou, Loucas Pouis, Georgios Tertytchny, Despina Vakana

Published in: Human Aspects of Information Security, Privacy, and Trust

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored PNs are an extension of classical PNs that are suitable for modeling and analyzing complex interconnected CIs. Timed PNs are another extension of PNs that support timing constraints and events. In this work we present a novel Risk Assessment methodology based on Timed Colored PNs for modeling and analyzing CIs with interdependencies, time-critical events and cascading effects.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Perceptions of Personal Privacy in Smart Home Technologies: Do User Assessments Vary Depending on the Research Method?
next chapter RT-SPDM: Real-Time Security, Privacy and Dependability Management of Heterogeneous Systems
Literature
1.
Aloini, D., Dulmin, R., Mininno, V.: Modelling and assessing ERP project risks: a petri net approach. Eur. J. Oper. Res. 220(2), 484–495 (2012)CrossRef
2.
Bernardi, S., Campos, J., Merseguer, J.: Timing-failure risk assessment of UML design using time Petri net bound techniques. IEEE Trans. Industr. Inf. 7(1), 90–104 (2011)CrossRef
3.
Council, E.: Council directive 2008/114/EC on the identification and designation of European critical infrastructures and the assessment of the need to improve their protection. Official J. L345(3), 0075–0082 (2008)
4.
Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications. Wiley, New York (2013)
5.
Giannopoulos, G., Filippini, R., Schimmer, M.: Risk assessment methodologies for critical infrastructure protection, part I: A state of the art, JRC Technical Notes (2012)
6.
Haimes, Y., Santos, J., Crowther, K., Henry, M., Lian, C., Yan, Z.: Risk analysis in interdependent infrastructures. In: Goetz, E., Shenoi, S. (eds.) Critical Infrastructure Protection. IFIP, vol. 253, pp. 297–310. Springer, Boston (2007) CrossRef
7.
Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy a unifying Petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398–407. Springer, Heidelberg (2012) CrossRef
8.
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, New York (2009)CrossRef
9.
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3–4), 213–254 (2007)CrossRef
10.
Klaver, M., Luiijf, H., Nieuwenhuijs, A., Cavenne, F., Ulisse, A., Bridegeman, G.: European risk assessment methodology for critical infrastructures. INFRA 2008, 1–5 (2008)
11.
Kotzanikolaou, P., Theoharidou, M., Gritzalis, D.: Assessing \(n\)-order dependencies between critical infrastructures. Int. J. Crit. Infrastruct. 9(1), 93–110 (2013)CrossRef
12.
Kotzanikolaou, P., Theoharidou, M., Gritzalis, D.: Interdependencies between critical infrastructures: analyzing the risk of cascading effects. In: Bologna, S., Hämmerli, B., Gritzalis, D., Wolthusen, S. (eds.) CRITIS 2011. LNCS, vol. 6983, pp. 104–115. Springer, Heidelberg (2013) CrossRef
13.
Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRef
14.
U. D. of Homeland Security. Nipp supplemental tool: Executing a critical infrastructure risk management approach (2013)
15.
Renda, R.: Protecting Critical Infrastructure in the EU. CEPS Task Force, Brussels (2010)
16.
Rinaldi, S., Peerenboom, J., Kelly, T.: Identifying, understanding, and analyzing critical infrastructure interdependencies. Control Syst. 21(6), 11–25 (2001)CrossRef
17.
Rossi, T., Pero, M.: A formal method for analysing and assessing operational risk in supply chains. Int. J. Oper. Res. 13(1), 90–109 (2012)CrossRef
18.
Theoharidou, M., Kotzanikolaou, P., Gritzalis, D.: Risk assessment methodology for interdependent critical infrastructures. Int. J. Risk Assess. Manag. 15(2), 128–148 (2011)CrossRef
19.
Van Eeten, M., Nieuwenhuijs, A., Luiijf, E., Klaver, M., Cruz, E.: The state and the threat of cascading failure across critical infrastructures: the implications of empirical evidence from media incident reports. Public Adm. 89(2), 381–400 (2011)CrossRef
20.
Vernez, D., Buchs, D., Pierrehumbert, G.: Perspectives in the use of coloured Petri nets for risk analysis and accident modelling. Saf. Sci. 41(5), 445–463 (2003)CrossRef
Metadata
Title
Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets
Authors
Chrysovalandis Agathangelou
Chryssis Georgiou
Ileana Papailiou
Anna Philippou
Loucas Pouis
Georgios Tertytchny
Despina Vakana
Copyright Year
2015
Book
Human Aspects of Information Security, Privacy, and Trust

Print ISBN: 978-3-319-20375-1

Electronic ISBN: 978-3-319-20376-8

Copyright Year: 2015

DOI
https://doi.org/10.1007/978-3-319-20376-8_54

Premium Partner

    Image Credits