• DocumentCode
    2927694
  • 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
  • fYear
    2011
  • fDate
    5-8 Dec. 2011
  • Firstpage
    215
  • Lastpage
    221
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Assurance and Security (IAS), 2011 7th International Conference on
  • Conference_Location
    Melaka
  • Print_ISBN
    978-1-4577-2154-0
  • Type

    conf

  • DOI
    10.1109/ISIAS.2011.6122822
  • Filename
    6122822