lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Petri Net pattern-oriented approach for the design of physical protection systems
Ansaldo STS, Italy.ORCID iD: 0000-0002-2833-7196
Università di Napoli “Federico II”, Italy.
Seconda Università di Napoli, Italy.
Università di Napoli “Federico II”, Italy.
Show others and affiliations
2014 (English)In: Computer Safety, Reliability, and Security. SAFECOMP 2014 / [ed] Bondavalli A., Di Giandomenico F., Springer, 2014, p. 230-245Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2014. p. 230-245
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8666
Keywords [en]
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
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73655DOI: 10.1007/978-3-319-10506-2_16Scopus ID: 2-s2.0-84907069402ISBN: 9783319105055 (print)OAI: oai:DiVA.org:lnu-73655DiVA, id: diva2:1213272
Conference
33rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014; Florence; Italy; 10-12 September 2014;
Available from: 2018-06-04 Created: 2018-06-04 Last updated: 2018-06-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf