Moussa Ouedraogo, Reijo M. Savola, Haralambos Mouratidis, David Preston, Djamel Khadraoui, Eric Dubois 0001. Taxonomy of quality metrics for assessing assurance of security correctness. Software Quality Journal, 21(1):67-97, 2013. [doi]
Abstract is missing.