Sökning: id:"swepub:oai:DiVA.org:mdh-47802" >
A Petri Net pattern...
A Petri Net pattern-oriented approach for the design of physical protection systems
-
- Flammini, Francesco, Senior Lecturer, 1978- (författare)
- Ansaldo STS, Italy
-
- Gentile, Ugo (författare)
- Università di Napoli “Federico II”, Italy
-
- Marrone, Stefano (författare)
- Seconda Università di Napoli, Italy
-
visa fler...
-
- Nardone, Roberto (författare)
- Università di Napoli “Federico II”, Italy
-
- Vittorini, Valeria (författare)
- Università di Napoli “Federico II”, Italy
-
visa färre...
-
(creator_code:org_t)
- Cham : Springer, 2014
- 2014
- Engelska.
-
Ingår i: Computer Safety, Reliability, and Security. SAFECOMP 2014. - Cham : Springer. - 9783319105055 ; , s. 230-245
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- The design of complex Physical Protection Systems (PPSs) still raises some challenges despite the high number of technologies for smart surveillance. One reason is the lack of effective methodologies able to support the PPS designer in evaluating the effectiveness of the system on varying design choices. Indeed, an estimation of the system vulnerability should be performed in the early phases of the PPS design. This paper introduces a model-based methodology for the quantitative estimation of the vulnerability of a PPS. The proposed methodology clearly defines a compositional approach which takes advantage from the usage of predefined patterns for the creation of vulnerability models. In particular, the paper proposes some Petri Net patterns able to capture the behavioural aspects of several assets and actors involved in attacking/defending scenarios. © 2014 Springer International Publishing.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Generalized Stochastic Petri Nets
- Model-Based Vulnerability Assessment
- Pattern Oriented Modelling
- Physical Protection Systems Design
- Design
- Petri nets
- Stochastic models
- Stochastic systems
- Behavioural aspects
- Pattern-oriented modelling
- Physical protection systems
- Quantitative estimation
- System vulnerability
- Vulnerability assessments
- Vulnerability models
- Security of data
- Software Technology
- Programvaruteknik
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas