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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Jürjens, J., & Houmb, S. H. (2005). Dynamic secure aspect modeling with UML: From models to code. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3713 LNCS, pp. 142–155). Springer Verlag. https://doi.org/10.1007/11557432_11
Mendeley helps you to discover research relevant for your work.