rbacUML at CodeGeneration 2012

887 views
854 views

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
887
On SlideShare
0
From Embeds
0
Number of Embeds
232
Actions
Shares
0
Downloads
5
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

rbacUML at CodeGeneration 2012

  1. 1. rbacUML: Role-Based AccessControl Verification and Analysison UMLLionel Montrieux<L.M.C.Montrieux@open.ac.uk>
  2. 2. Centre for Research in ComputingThe Open UniversityWalton HallMilton KeynesMK7 6AAwww.open.ac.uk
  3. 3. Access Control
  4. 4. rbacUML
  5. 5. Configuration
  6. 6. Business Logic
  7. 7. Business Logic (2)
  8. 8. Tests
  9. 9. Features• RBAC modelling• Verification• Coverage analysis• Completeness analysis• Satisfiability analysis• Redundancy detection• LDAP import
  10. 10. Research directions• (secure) code generation• Automatic correction of insecure models• Evolution and merging support• ...
  11. 11. Get the tool http://computing-research.open.ac.uk/rbac/
  12. 12. Knowledge Exchange Vouchers• Engage with academic partners at the OU• Up to £10k (your contribution: 25%)• Deadline: 31st May 2012• Projects must start before 1st July 2012
  13. 13. Doodles by Jessica HardawayQuestions?

×