Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Tool support for code generation from a UMLsec property

 
: Montrieux, L.; Jürjens, J.; Haley, C.B.; Yu, Y.; Schobbens, P.-Y.; Toussaint, H.

:

Pecheur, C. ; Institute of Electrical and Electronics Engineers -IEEE-; Association for Computing Machinery -ACM-, Special Interest Group on Software Engineering -SIGSOFT-; Fonds National de la Recherche Scientifique -FNRS-:
IEEE/ACM International Conference on Automated Software Engineering 2010. Proceedings. CD-ROM : September 20 - 24, 2010, Antwerp, Belgium
New York: ACM, 2010
ISBN: 978-1-4503-0116-9
pp.357-358
International Conference on Automated Software Engineering (ASE) <25, 2010, Antwerp>
English
Conference Paper
Fraunhofer ISST ()

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 RBA properties. Both approaches use the Java Authentication and Authorization Service (JAAS) to enforce access control.

: http://publica.fraunhofer.de/documents/N-148592.html