Sciweavers

Share
UML
2005
Springer

Dynamic Secure Aspect Modeling with UML: From Models to Code

9 years 3 months ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticipate undesirable emergent behavior. In this work, we propose an approach to develop and analyze security-critical specifications and implementations using aspect-oriented modeling. Since we focus on the dynamic views of a system, our work is complementary to existing approaches to security aspects mostly concerned with static views. Our approach includes a link to implementations in so far as the code which is constructed from the models can be analyzed automatically for satisfaction of the security requirements stated in the UML diagrams. We present tool support for our approach.
Jan Jürjens, Siv Hilde Houmb
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where UML
Authors Jan Jürjens, Siv Hilde Houmb
Comments (0)
books