Stochastic methods for dependability, performability, and security evaluation

DOI10.1007/978-3-540-27793-4_6MaRDI QIDQ5712361zbMATH OpenOpenAlexFDO

Authors William H. Sanders

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98283

Mathematics Subject Classification ID

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

Recommendations

• Petri nets and dependability
• Formal methods for performance evaluation
• A combined queueing network and stochastic Petri-net approach for evaluating the performability of fault-tolerant computer systems
• Incremental approach for building stochastic Petri nets for dependability modeling
• Introduction to stochastic Petri nets

Cited in

(6)

• On the use of MTBDDs for performability analysis and verification of stochastic systems.
• Generalized probabilistic perturbation method for static analysis
• scientific article; zbMATH DE number 5139437 (Why is no real title available?)
• A novel situation assessment method for network survivability
• Modeling and quantitatively predicting software security based on stochastic Petri nets
• Petri nets and dependability

This page was built for publication: Stochastic methods for dependability, performability, and security evaluation

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