rbacUML: Role-Based Access Control Verification and Analysis on UML

Lionel Montrieux<L.M.C.Montrieux@open.ac.uk>

Centre for Research in ComputingThe Open UniversityWalton HallMilton KeynesMK7 6AA

www.open.ac.uk

Access Control

rbacUML

Configuration

Business Logic

Business Logic (2)

Tests

Features

• RBAC modelling• Verification• Coverage analysis• Completeness analysis• Satisfiability analysis• Redundancy detection• LDAP import

Research directions

• (secure) code generation• Automatic correction of insecure models• Evolution and merging support• ...

http://computing-research.open.ac.uk/rbac/

Get the tool

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

Questions?D

oodles by Jessica Hardaw

ay