Modeling and quantitatively predicting software security based on stochastic Petri nets

DOI10.1016/j.mcm.2011.01.055zbMath1245.68069WikidataQ115039699 ScholiaQ115039699MaRDI QIDQ445374

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

zbMATH Keywords

sensitivity analysis; model; hierarchical; quantify; software security; stochastic Petri net

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N99: Theory of software

60J28: Applications of continuous-time Markov processes on discrete state spaces

Uses Software

• CPN/Tools
• Design/CPN

Cites Work

• Unnamed Item