2 . 3 van heerden ’ s network attack taxonomy .
Formalizing information security knowledge