Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Open University CRC Students conference 2010
1. Model-driven Verification
and Evolution of Role-Based
Access Control Properties
Lionel Montrieux
L.M.C.Montrieux@open.ac.uk
Supervisors: M. Wermelinger, Y. Yu
Acknowledgements: C. Haley, J. Jürjens
CRC conference, 2010
7. Conclusion
[YES]
UMLsec model Verification
[NO]
Merging
[YES]
UMLsec model Verification
[NO]
OO generation Java code
[YES]
Choice of Java Authentication and
UMLsec model Verification generation Authorization Service
method framework
[NO]
AO generation Java and AspectJ code
8. 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