Formalizing information security knowledge
Grand challenges in information security: process and output