Tool support for code generation from a UMLsec property

Montrieux, Lionel; Jürjens, Jan; Haley, Charles; Yu, Yijun; Schobbens, Pierre-Yves and Toussaint, Hubert (2010). Tool support for code generation from a UMLsec property. In: ASE'10 - 25th International Conference on Automated Software Engineering, 20-24 Sep 2010, Antwerp, Belgium.

URL: http://soft.vub.ac.be/ase2010/

Abstract

This demo presents a tool to generate code from verified Role-Based Access Control properties defined using UMLsec. It can either generate Java code, or generate Java code for the UML model and AspectJ code for enforcing said RBAC properties. Both approaches use the Java Authentication and Authorization Service (JAAS) to enforce access control.

Viewing alternatives

Item Actions

Export

You can export this page using these formats

About

• Item ORO ID
• 22231
• Item Type
• Conference or Workshop Item
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Research Group
• Centre for Research in Computing (CRC)
• Copyright Holders
• © 2010 The Authors
• Related URLs
• • http://ls14-www.cs.tu-dortmund.de/main2/...(Other)
• Depositing User
• Lionel Montrieux