Your SlideShare is downloading. ×
Open University CRC Students conference 2010
Open University CRC Students conference 2010
Open University CRC Students conference 2010
Open University CRC Students conference 2010
Open University CRC Students conference 2010
Open University CRC Students conference 2010
Open University CRC Students conference 2010
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

242

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
242
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

×