Combining UML and B for the specification and validation of RBAC policies in business process activities.

Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni

Browse the full RCIS paper archive.