Petri net modelling of physical vulnerability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6983 LNCS, Issue , 2013, Pages 128-139

  Flammini, Francesco ^a   Marrone, Stefano ^b   Mazzocca, Nicola ^c   Vittorini, Valeria ^c  

^a AnsaldoSTS   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Model Based Vulnerability Assessment; Physical Security; Risk Analysis; Stochastic Petri Nets

Indexed keywords

PHYSICAL SECURITY; PROBABILITY OF OCCURRENCE; PROBABILITY OF SUCCESS; QUANTITATIVE EVALUATION; SECURITY RISK EVALUATIONS; STOCHASTIC PETRI NETS; SYSTEM VULNERABILITY; VULNERABILITY ASSESSMENTS;

PETRI NETS; RISK ANALYSIS; RISK PERCEPTION;

CRITICAL INFRASTRUCTURES;

EID: 84885779641     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-41476-3_11     Document Type: Conference Paper

References (20)

1. Journal of physical security, http://jps.anl.gov/
2. A risk assessment methodology for physical security. White paper. Technical report, SANDIA National Laboratories (2008)
3. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic petri nets. SIGMETRICS Perform. Eval. Rev. 26, 2 (1998)
4. Baker, G.H.: A vulnerability assessment methodology for critical infrastructure sites. In: DHS Symposium: Rand D Partnerships in Homeland Security (2005)
5. Bernardi, S., Flammini, F., Marrone, S., Merseguer, J., Papa, C., Vittorini, V.: Model-driven availability evaluation of railway control systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 15-28. Springer, Heidelberg (2011)
6. Broder, J.F.: Risk Analysis and the Security Survey. Butterworth- Heinemann (2006)
7. Casola, V., Mazzeo, A., Mazzocca, N., Vittorini, V.: A policy-based methodology for security evaluation: A security metric for public key infrastructures. Journal of Computer Security 15(2), 197-229 (2007)
8. Casola, V., Preziosi, R., Rak, M., Troiano, L.: A reference model for security level evaluation: Policy and fuzzy techniques. Journal of Universal Computer Science 11(1), 150-174 (2005)
9. Risk Steering Committee. DHS risk lexicon, http://www.dhs.gov/xlibrary/ assets/dhs-risk-lexicon.pdf
10. Flammini, F., Gaglione, A., Mazzocca, N., Pragliola, C.: Quantitative security risk assessment and management for railway transportation infrastructures. In: Setola, R., Geretshuber, S. (eds.) CRITIS 2008. LNCS, vol. 5508, pp. 180-189. Springer, Heidelberg (2009)
11. Garcia, M.L.: Vulnerability Assessment of Physical Protection Systems. Butterworth-Heinemann (2005)
12. Hennessey, B., Wesson, R.B., Norman, B.: Security simulation for vulnerability assessment. IEEE Aerospace and Electronic Systems Magazine 22(9), 11-16 (2007)
13. Cox Jr., L.A.: Some limitations of risk = threat x vulnerability x consequence for risk analysis of terrorist attacks. Risk Analysis 28(6) (2008)
14. Lewis, T.G., Darken, R.P., Mackin, T., Dudenhoeffer, D.: Model-Based Risk Analysis for Critical Infrastructures. Critical Infrastructure Security - WIT Press (2011)
15. Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: From dependability to security. IEEE Trans. Dependable Secur. Comput. 1, 48-65 (2004)
16. Rinaldi, S.M.: Modeling and simulating critical infrastructures and their interdependencies. In: Proceedings of the 37th HICSS 2004 - Track 2, vol. 2. IEEE Computer Society, Washington, DC (2004)
17. Sallhammar, K.: Stochastic Models for Combined Security and Dependability Evaluation. PhD thesis, Norwegian University of Science and Technology (2007)
18. Taylor, M.E., Kiekintveld, C., Western, C., Tambe, M.: A framework for evaluating deployed security systems: Is there a chink in your armor? Informatica 34 (2010), Special Issue on Quantitative Risk Analysis Techniques for Security Applications
19. Weingart, S.H.: Physical security devices for computer subsystems: A survey of attacks and defenses. In: Paar, C., Koç, Ç.K. (eds.) CHES 2000. LNCS, vol. 1965, pp. 302-317. Springer, Heidelberg (2000)
20. Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri net modelling and performability evaluation with timeNET 3.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 188-202. Springer, Heidelberg (2000)