[RA15]
Misbah Razzaq,Jamil Ahmad.
Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation.
PLOS ONE.
2015.
[Presents an approach based on stochastic Petri nets and PRISM for analysing internet worms.]
|
