Show simple item record

dc.contributor.authorAgathangelou, Chrysovalandisen
dc.contributor.authorGeorgiou, Chryssisen
dc.contributor.authorPapailiou, Ileanaen
dc.contributor.authorPhilippou, Annaen
dc.contributor.authorPouis, Loucasen
dc.contributor.authorTertytchny, G.en
dc.contributor.authorVakana, Despinaen
dc.contributor.editorTryfonas T.en
dc.contributor.editorAskoxylakis I.en
dc.creatorAgathangelou, Chrysovalandisen
dc.creatorGeorgiou, Chryssisen
dc.creatorPapailiou, Ileanaen
dc.creatorPhilippou, Annaen
dc.creatorPouis, Loucasen
dc.creatorTertytchny, G.en
dc.creatorVakana, Despinaen
dc.date.accessioned2019-11-13T10:38:11Z
dc.date.available2019-11-13T10:38:11Z
dc.date.issued2015
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53499
dc.description.abstractPetri 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.source3rd 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 2015en
dc.source.urihttps://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.subjectRisk assessmenten
dc.subjectDiscrete event simulationen
dc.subjectPetri netsen
dc.subjectCritical infrastructuresen
dc.subjectSecurity of dataen
dc.subjectHuman computer interactionen
dc.subjectAnalysis and verificationsen
dc.subjectCascading effectsen
dc.subjectColored timed Petri neten
dc.subjectComputer privacyen
dc.subjectInterdependenciesen
dc.subjectMathematical languagesen
dc.subjectPublic worksen
dc.subjectRisk assessment methodologiesen
dc.subjectTimed colored Petri neten
dc.subjectTimed colored petri netsen
dc.subjectTiming constraintsen
dc.titleRisk modeling and analysis of interdependencies of critical infrastructures using colored timed petri netsen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1007/978-3-319-20376-8_54
dc.description.volume9190
dc.description.startingpage607
dc.description.endingpage618
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors:en
dc.description.notesConference code: 123819</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidGeorgiou, Chryssis [0000-0003-4360-0260]
dc.gnosis.orcid0000-0003-4360-0260


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record