Formalizing information security knowledge | Synapse