Open University CRC Students conference 2010
-
Upload
lionel-montrieux -
Category
Technology
-
view
249 -
download
2
Transcript of Open University CRC Students conference 2010
![Page 1: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/1.jpg)
Model-driven Verification and Evolution of Role-Based
Access Control Properties
Lionel [email protected]
Supervisors: M. Wermelinger, Y. YuAcknowledgements: C. Haley, J. Jürjens
CRC conference, 2010
![Page 2: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/2.jpg)
Model-driven Development
![Page 3: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/3.jpg)
Access Control
![Page 4: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/4.jpg)
Step-by-step
Evolution
![Page 5: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/5.jpg)
Merging
![Page 6: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/6.jpg)
Code Generation
![Page 7: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/7.jpg)
Conclusion
Choice ofgeneration
method
OO generation
AO generation
Java code
Java and AspectJ code
Java Authentication and Authorization Service
framework
UMLsec model Verification
[NO]
[YES]
[YES]UMLsec model Verification
[NO] Merging
UMLsec model Verification
[NO]
[YES]
![Page 8: Open University CRC Students conference 2010](https://reader033.fdocuments.us/reader033/viewer/2022060116/5583e588d8b42a423f8b5046/html5/thumbnails/8.jpg)
Images credits
•Sydney opera house model –
Peter Lindberg -
CC-by•Visa card -
Declan Jewell –
CC-by•Darwin memorial –
Stephen R. Edwards -
CC-by-nc-sa•Merge sign –
Simon Greig
-
CC-by-nc-sa•Battersea power plant –
spacebahr
(flickr.com) -
CC-by-nc