Dynamic secure aspect modeling with UML: From models to code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3713 LNCS, Issue , 2005, Pages 142-155

  Jürjens, Jan ^a   Houmb, Siv Hilde ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS;

ASPECT-ORIENTED MODELING; SECURITY ENGINEERING; UML DIAGRAMS;

SECURITY OF DATA;

EID: 33646180594     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11557432_11     Document Type: Conference Paper

References (19)

1. [Abs04] AbsInt. aicall. http://www.aicall.de/, 2004.
2. [BJCR05] M. Broy, J. Jürjens, V. Cengarle, and B. Rumpe. Towards a system model for UML. Technical report, TU Munich, 2005.
3. [BM03] P. Braun and F. Marschall. The BOTL tool. http://www4.in.tum.de/ ~marschal/botl/index.htm, 2003.
4. [DY83] D. Dolev and A. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, IT-29(2):198-208, 1983.
5. [EAB02] T. Elrad, O. Aldawud, and A. Bader. Aspect-oriented modeling: Bridging the gap between implementation and design. In Don S. Batory, Charles Consel, and Walid Taha, editors, GPCE, volume 2487 of Lecture Notes in Computer Science, pages 189-201. Springer, 2002.
6. +01] T. Elrad, M. Aksit, G. Kiczales, K.J. Lieberherr, and H. Ossher. Discussing aspects of AOP. Commun. ACM, 44(10):33-38, 2001.
7. [FKGS04] R.B. France, D. Kim, S. Ghosh, and E. Song. A UML-based pattern specification technique. IEEE Trans. Software Eng., 30(3):193-206, 2004.
8. [FRGG04] R.B. France, I. Ray, G. Georg, and S. Ghosh. Aspect-oriented approach to early design modelling. IEE Proceedings - Software, 151(4):173-186, 2004.
9. [GS04] H. Gomaa and M.E. Shin. Modeling complex systems by separating application and security concerns. In ICECCS, pages 19-28. IEEE Computer Society, 2004.
10. [Jür02] J. Jürjens. UMLsec: Extending UML for secure systems development. In J.-M. Jézéquel, H. Hußmann, and S. Cook, editors, UML 2002 - The Unified Modeling Language, volume 2460 of LNCS, pages 412-425. Springer, 2002.
11. [Jür03] J. Jürjens. Developing safety-critical systems with UML. In P. Stevens, editor, The Unified Modeling Language (UML 2003), volume 2863 of LNCS, pages 360-372. Springer, 2003.
12. [Jür04a] J. Jürjens. Secure Systems Development with UML. Springer, 2004.
13. [Jür04b] J. Jürjens. Security analysis tool (webinterface and download), 2004. http://www4.in.tum.de/csduml/interface.
14. [Jür05] J. Jürjens. Sound methods and effective tools for model-based security engineering with UML. In 27th International Conference on Software Engineering (ICSE 2005). IEEE Computer Society, 2005.
15. [LB04] J.-S. Lee and D.-H. Bae. An aspect-oriented framework for developing component-based software with the collaboration-based architectural style. Information & Software Technology, 46(2):81-97, 2004.
16. [MSRM04] A. Marcus, A. Sergeyev, V. Rajlich, and J.I. Maletic. An information retrieval approach to concept location in source code. In WCRE, pages 214-223. IEEE Computer Society, 2004.
17. [SFWW03] J. Schumann, B. Fischer, M.W. Whalen, and J. Whittle. Certification support for automatically generated programs. In HICSS, page 337, 2003.
18. [SS01] G. Sutcliffe and C. Suttner. The TPTP problem library for automated theorem proving, 2001. Available at http://www.tptp.org.
19. 3 theorem prover. In R. Dyckhoff, editor, TABLEAUX 2000, volume 1847 of LNCS, pages 436-440. Springer, 2000.