Modeling and quantitatively predicting software security based on stochastic Petri nets

DOI10.1016/J.MCM.2011.01.055zbMATH Open1245.68069OpenAlexW2010397219WikidataQ115039699 ScholiaQ115039699MaRDI QIDQ445374FDOQ445374

Zhilin Qian, Huiqun Yu, Hua Sun, Nianhua Yang

Publication date: 24 August 2012

Published in: Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.mcm.2011.01.055

Recommendations

• Evaluation method of software reliability based on SPN model
• An extended stochastic model for quantitative security analysis of networked systems
• Applications and Theory of Petri Nets 2004
• Discovering, quantifying, and displaying attacks
• scientific article; zbMATH DE number 1304838

zbMATH Keywords

sensitivity analysismodelhierarchicalquantifysoftware securitystochastic Petri net

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)

Cited In (1)

• Information and Communications Security

Uses Software

• CPN/Tools
• Design/CPN

This page was built for publication: Modeling and quantitatively predicting software security based on stochastic Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q445374)