The Open UniversitySkip to content
 

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 September 2010, Antwerp, Belgium.

Full text available as:
[img]
Preview
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (78Kb)
URL: http://soft.vub.ac.be/ase2010/
Google Scholar: Look up in Google Scholar

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.

Item Type: Conference Item
Copyright Holders: 2010 The Authors
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Related URLs:
Item ID: 22231
Depositing User: Lionel Montrieux
Date Deposited: 14 Jul 2010 13:22
Last Modified: 17 Dec 2012 22:28
URI: http://oro.open.ac.uk/id/eprint/22231
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk