dc.contributor.author | Agathangelou, Chrysovalandis | en |
dc.contributor.author | Georgiou, Chryssis | en |
dc.contributor.author | Papailiou, Ileana | en |
dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Pouis, Loucas | en |
dc.contributor.author | Tertytchny, G. | en |
dc.contributor.author | Vakana, Despina | en |
dc.contributor.editor | Tryfonas T. | en |
dc.contributor.editor | Askoxylakis I. | en |
dc.creator | Agathangelou, Chrysovalandis | en |
dc.creator | Georgiou, Chryssis | en |
dc.creator | Papailiou, Ileana | en |
dc.creator | Philippou, Anna | en |
dc.creator | Pouis, Loucas | en |
dc.creator | Tertytchny, G. | en |
dc.creator | Vakana, Despina | en |
dc.date.accessioned | 2019-11-13T10:38:11Z | |
dc.date.available | 2019-11-13T10:38:11Z | |
dc.date.issued | 2015 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53499 | |
dc.description.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. © Springer International Publishing Switzerland 2015. | en |
dc.source | 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015 Held as Part of 17th International Conference on Human-Computer Interaction, HCI International 2015 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84944104394&doi=10.1007%2f978-3-319-20376-8_54&partnerID=40&md5=9cebd2d5dcbf8880a8ae0f11311708be | |
dc.subject | Risk assessment | en |
dc.subject | Discrete event simulation | en |
dc.subject | Petri nets | en |
dc.subject | Critical infrastructures | en |
dc.subject | Security of data | en |
dc.subject | Human computer interaction | en |
dc.subject | Analysis and verifications | en |
dc.subject | Cascading effects | en |
dc.subject | Colored timed Petri net | en |
dc.subject | Computer privacy | en |
dc.subject | Interdependencies | en |
dc.subject | Mathematical languages | en |
dc.subject | Public works | en |
dc.subject | Risk assessment methodologies | en |
dc.subject | Timed colored Petri net | en |
dc.subject | Timed colored petri nets | en |
dc.subject | Timing constraints | en |
dc.title | Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-319-20376-8_54 | |
dc.description.volume | 9190 | |
dc.description.startingpage | 607 | |
dc.description.endingpage | 618 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 123819</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Georgiou, Chryssis [0000-0003-4360-0260] | |
dc.gnosis.orcid | 0000-0003-4360-0260 | |