Your SlideShare is downloading. ×
Open University CRC Students conference 2010
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Open University CRC Students conference 2010

240

Published on

Published in: Technology, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
240
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 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
  • 2. Model-driven Development
  • 3. Access Control
  • 4. Step-by-step Evolution
  • 5. Merging
  • 6. Code Generation
  • 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

×