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

Like this? Share it with your network

Share

Open University CRC Students conference 2010

on

  • 402 views

 

Statistics

Views

Total Views
402
Views on SlideShare
393
Embed Views
9

Actions

Likes
0
Downloads
0
Comments
0

5 Embeds 9

http://cloudworks.ac.uk 3
http://www.linkedin.com 3
http://www.slideshare.net 1
http://www.cloudworks.ac.uk 1
https://www.linkedin.com 1

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

CC Attribution-NonCommercial-ShareAlike LicenseCC Attribution-NonCommercial-ShareAlike LicenseCC Attribution-NonCommercial-ShareAlike License

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Open University CRC Students conference 2010 Presentation 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