Authorization Policy Based Business Collaboration Reliability Verification

Authors:
Haiyang Sun;Xin Wang;Jian Yang;Yanchun Zhang
Affiliations:
Department of Computing, Macquarie University, Sydney, Australia NSW2109;School of Computer Science and Mathematics, Victoria University, Melbourne, Victoria, Australia;Department of Computing, Macquarie University, Sydney, Australia NSW2109;School of Computer Science and Mathematics, Victoria University, Melbourne, Victoria, Australia
Venue:
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Year:
2008

Citing 6
Cited 1

Dynamic access control through Petri net workflows

ACSAC '00 Proceedings of the 16th Annual Computer Security Applications Conference
Introduction: Service-oriented computing

Communications of the ACM - Service-oriented computing
An Access Control Model for Web Services in Business Process

WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
A Flexible Payment Scheme and Its Role-Based Access Control

IEEE Transactions on Knowledge and Data Engineering
Access Control and Authorization Constraints for WS-BPEL

ICWS '06 Proceedings of the IEEE International Conference on Web Services
BPEL4RBAC: An Authorisation Specification for WS-BPEL

WISE '08 Proceedings of the 9th international conference on Web Information Systems Engineering

A Verification Mechanism for Secured Message Processing in Business Collaboration

APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Collaborative business can become unreliable in terms of authorization policy conflicts, for example, when (1) incorrect role assignment or modification occurs in a service within one organization or (2) messages transferred from one organization are accessed by unqualified roles in other collaborating business partners. Therefore reliability verification based on access policies is critical for business collaboration. In this paper, a role authorization model, Role-Net, is developed based on Hierarchical Colored Petri Nets (HCPNs) to specify and manage role authorization in business collaboration and to verify collaboration reliability according to partners' authorization policies.