rbacuml at codegeneration 2012
DESCRIPTION
TRANSCRIPT
![Page 1: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/1.jpg)
rbacUML: Role-Based Access Control Verification and Analysis on UML
Lionel Montrieux<[email protected]>
![Page 2: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/2.jpg)
Centre for Research in ComputingThe Open UniversityWalton HallMilton KeynesMK7 6AA
www.open.ac.uk
![Page 3: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/3.jpg)
Access Control
![Page 4: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/4.jpg)
![Page 5: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/5.jpg)
![Page 6: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/6.jpg)
![Page 7: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/7.jpg)
![Page 8: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/8.jpg)
![Page 9: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/9.jpg)
rbacUML
![Page 10: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/10.jpg)
Configuration
![Page 11: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/11.jpg)
Business Logic
![Page 12: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/12.jpg)
Business Logic (2)
![Page 13: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/13.jpg)
Tests
![Page 14: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/14.jpg)
Features
• RBAC modelling• Verification• Coverage analysis• Completeness analysis• Satisfiability analysis• Redundancy detection• LDAP import
![Page 15: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/15.jpg)
Research directions
• (secure) code generation• Automatic correction of insecure models• Evolution and merging support• ...
![Page 16: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/16.jpg)
![Page 17: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/17.jpg)
http://computing-research.open.ac.uk/rbac/
Get the tool
![Page 18: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/18.jpg)
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
![Page 19: rbacUML at CodeGeneration 2012](https://reader033.vdocuments.net/reader033/viewer/2022051816/54712cb9b4af9fcd0a8b4a70/html5/thumbnails/19.jpg)
Questions?D
oodles by Jessica Hardaw
ay