Successfully reported this slideshow.

Open University CRC Students conference 2010

473 views

Published on

Published in: Technology, Education
  • Be the first to comment

  • Be the first to like this

Open University CRC Students conference 2010

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

×