arrow
Return

An aspect-oriented methodology for designing secure applications

delete2009-05-01
delete47
delete
OA
AI
G
Geri Georg
I
Indrakshi Ray *
K
Kyriakos Anastasakis
B
Behzad Bordbar
M
Manachai Toahchoodee
S
Siv Hilde Houmb
DOI:10.1016/j.infsof.2008.05.004delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
We propose a methodology, based on aspect-oriented modeling (AOM), for incorporating security mechanisms in an application. The functionality of the application is described using the primary model and the attacks are specified using aspects. The attack aspect is composed with the primary model to obtain the misuse model. The misuse model describes how much the application can be compromised. If the results are unacceptable, then some security mechanism must be incorporated into the application. The security mechanism, modeled as security aspect, is composed with the primary model to obtain the security-treated model. The security-treated model is analyzed to give assurance that it is resilient to the attack. (C) 2008 Elsevier B.V. All rights reserved.
Keywords:
Alloy
Aspect-oriented modeling
Authentication
Secure systems design
Security analysis
UML
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Information and Software Technology cover
Information and Software Technology
IF:
4.3
Papers:
3.7K
Citations:
7.7K

Organization

U
University of Birmingham
Scholars:
4.1W
Papers: 3.8W
Citations: 5.0W
C
Colorado State University System
Scholars:
1.3W
Papers: 1.0W
Citations: 3
C
colorado state university fort collins
Scholars:
8.1K
Papers: 6.1K
Citations: 2
researcher View more organizations