A pragmatic method for integrated modeling of security attacks and countermeasures

Jiacun Wang, Timed Petri Nets: Theory and Application ,(1998)

C. Fung, Yi-Liang Chen, Xinyu Wang, J. Lee, R. Tarquini, M. Anderson, R. Linger, Survivability analysis of distributed systems using attack tree methodology military communications conference. pp. 583- 589 ,(2005) , 10.1109/MILCOM.2005.1605745

J. P. McDermott, Attack net penetration testing new security paradigms workshop. pp. 15- 21 ,(2001) , 10.1145/366173.366183

Marco Ajmone Marsan, Gianni Conte, Gianfranco Balbo, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems ACM Transactions on Computer Systems. ,vol. 2, pp. 93- 122 ,(1984) , 10.1145/190.191

G.C. Dalton, R.F. Mills, J.M. Colombi, R.A. Raines, Analyzing Attack Trees using Generalized Stochastic Petri Nets 2006 IEEE Information Assurance Workshop. pp. 116- 123 ,(2006) , 10.1109/IAW.2006.1652085

S. Tridandapani, A.K. Somani, U.R. Sandadi, Low overhead multiprocessor allocation strategies exploiting system spare capacity for fault detection and location IEEE Transactions on Computers. ,vol. 44, pp. 865- 877 ,(1995) , 10.1109/12.392845

Jelena Mirkovic, Peter Reiher, A taxonomy of DDoS attack and DDoS defense mechanisms acm special interest group on data communication. ,vol. 34, pp. 39- 53 ,(2004) , 10.1145/997150.997156

B.B. Madan, K. Gogeva-Popstojanova, K. Vaidyanathan, K.S. Trivedi, Modeling and quantification of security attributes of software systems dependable systems and networks. pp. 505- 514 ,(2002) , 10.1109/DSN.2002.1028941

Andrew P Moore, Robert J Ellison, Richard C Linger, Attack Modeling for Information Security and Survivability Carnegie Mellon University. ,(2001) , 10.1184/R1/6572063.V1

M.A. McQueen, W.F. Boyer, M.A. Flynn, G.A. Beitel, Quantitative Cyber Risk Reduction Estimation Methodology for a Small SCADA Control System hawaii international conference on system sciences. ,vol. 9, pp. 226- 226 ,(2006) , 10.1109/HICSS.2006.405