OnToRisk – a formal ontology approach to automate cyber security risk identification | IEEE Conference Publication | IEEE Xplore