Modeling and quantitatively predicting software security based on stochastic Petri nets
From MaRDI portal
Publication:445374
DOI10.1016/j.mcm.2011.01.055zbMath1245.68069OpenAlexW2010397219WikidataQ115039699 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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of software (68N99) Applications of continuous-time Markov processes on discrete state spaces (60J28)
Uses Software
Cites Work
This page was built for publication: Modeling and quantitatively predicting software security based on stochastic Petri nets