Home > Research > Publications & Outputs > Executable misuse cases for modeling security c...
View graph of relations

Executable misuse cases for modeling security concerns

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Close
Publication date2008
Host publicationProceedings of the 30th International Conference on Software engineering (ICSE '08)
Place of PublicationNew York
PublisherACM Press
Pages121-130
Number of pages10
ISBN (print)978-1-60558-079-1
<mark>Original language</mark>English
EventICSE -
Duration: 1/01/1900 → …

Conference

ConferenceICSE
Period1/01/00 → …

Conference

ConferenceICSE
Period1/01/00 → …

Abstract

Misuse cases are a way of modeling negative requirements, that is, behaviors that should not occur in a system. In particular, they can be used to model attacks on a system as well as the security mechanisms needed to avoid them. However, like use cases, misuse cases describe requirements in a high-level and informal manner. This means that, whilst they are easy to understand, they do not lend themselves to testing or analysis. In this paper, we present an executable misuse case modeling language which allows modelers to specify misuse case scenarios in a formal yet intuitive way and to execute the misuse case model in tandem with a corresponding use case model. Misuse scenarios are given in executable form and mitigations are captured using aspect-oriented modeling. The technique is useful for brainstorming potential attacks and their mitigations. Furthermore, the use of aspects allows mitigations to be maintained separately from the core system model. The paper, supported by a UML-based modeling tool, describes an application to two case studies, providing evidence that the technique can support red-teaming of security requirements forn realistic systems.