Academic
Publications
Formal Verification of Business Workflows and Role Based Access Control Systems

Formal Verification of Business Workflows and Role Based Access Control Systems,10.1109/SECUREWARE.2007.4385334,Arnaud Dury,Sergiy Boroday,Alexandre P

Formal Verification of Business Workflows and Role Based Access Control Systems   (Citations: 3)
BibTex | RIS | RefWorks Download
An approach for combined modeling of role-based access control systems (RBAC) together with business workflows is presented. The model allows to model check various security properties. Several techniques to confine the state explosion, which may occur during model checking are presented and experimentally evaluated using the model checker Spin. The techniques allow the verification of the business workflow and associated RBAC for a reasonable number of users of a medium sized company.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: