• DocumentCode
    2916569
  • Title

    An Agent-Based System to Support Assurance of Security Requirements

  • Author

    Ouedraogo, Moussa ; Mouratidis, Haralambos ; Khadraoui, Djamel ; Dubois, Eric

  • Author_Institution
    Public Res. Center Henri Tudor, Kirchberg, Luxembourg
  • fYear
    2010
  • fDate
    9-11 June 2010
  • Firstpage
    78
  • Lastpage
    87
  • Abstract
    Current approaches to evaluating security assurance either focus on the software development stage or at the end product software. However, most often, it is after the deployment or implementation phase that specified security requirements may be violated. This may be due to improper deployment of the security measures, environmental hazards or to the fact that the assumptions under which the security requirements have been specified have become invalid. As such, this paper proposes an approach (supported by a system) which will complement security requirements engineering methodologies by gathering continuous evidence to inform on whether the security requirements elucidated during system development stage have been correctly implemented and as such, they can be relied upon to effectively protect system assets at runtime. We use Secure Tropos methodology to highlight the security assurance case and elicit the features of our security assurance evaluation system. We further depict the security assurance evaluation through an example based on firewalls configurations.
  • Keywords
    formal specification; formal verification; multi-agent systems; security of data; software performance evaluation; agent based system; secure tropos methodology; security assurance evaluation system; security requirements engineering methodology; software development stage; Hazards; Information security; Information systems; Information technology; Multiagent systems; Programming; Protection; Reliability engineering; Software engineering; Synthetic aperture sonar; Secure Tropos; Security assurance; Security requirements; multi-agents systems; security verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Secure Software Integration and Reliability Improvement (SSIRI), 2010 Fourth International Conference on
  • Conference_Location
    Singapore
  • Print_ISBN
    978-1-4244-7435-6
  • Type

    conf

  • DOI
    10.1109/SSIRI.2010.32
  • Filename
    5502852