Title :
A new approach to evaluating security assurance
Author :
Ouedraogo, Moussa ; Mouratidis, Haralambos ; Hecker, Artur ; Bonhomme, Cedric ; Khadraoui, Djamel ; Dubois, Eric ; Preston, David
Author_Institution :
Public Res. Center Henri Tudor, Kirchberg, Luxembourg
Abstract :
This paper first analyzes the current gap in the literature in security assurance. It then proposes new metrics for the appraisal of security assurance at runtime. Our metrics are based on key concepts pertinent to gaining confidence on a security mechanism to meet its functions. Such parameters include: security correctness; security effectiveness and the quality of the security verification process. Validation of our approach has been achieved through tool implementation, and application to another of security components including firewall, DNS and antivirus.
Keywords :
formal verification; risk management; security of data; security assurance evaluation; security correctness; security effectiveness; security mechanism; security verification process; Availability; Fires; Measurement; Probes; Risk management; Security; Security assurance; metrics; risks assessment; verification of security; verification process quality;
Conference_Titel :
Information Assurance and Security (IAS), 2011 7th International Conference on
Conference_Location :
Melaka
Print_ISBN :
978-1-4577-2154-0
DOI :
10.1109/ISIAS.2011.6122822