Clarifying vulnerability definitions and assessments using formalisation · Study