论文信息 - Constrained Automata: A Formal Tool for Risk Assessment and Mitigation,Journal of Informationa Assurance and Security, 2008 - 字舞流文

Constrained Automata: A Formal Tool for Risk Assessment and Mitigation,Journal of Informationa Assurance and Security, 2008

Fabio Martinelli | Fabrizio Baiardi | Laura Ricci | C.Telmon Ctelmon

[1] Somesh Jha,et al. Minimization and Reliability Analyses of Attack Graphs , 2002 .