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:

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
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Related URLs:	http://ls14-www.cs.tu-dortmund.de/main2/...(Other)
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

Actions (login may be required)

	View Item
	Report issue / request change

Policies | Disclaimer