Authorization policy based business collaboration reliability verification

Haiyang Sun*, Xin Wang, Jian Yang, Yanchun Zhang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

3 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationService-Oriented Computing - ICSOC 2008 - 6th International Conference, Proceedings
EditorsAthman Bougettaya, Ingolf Krueger, Tiziana Margaria
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages6
Volume5364 LNCS
ISBN (Print)3540896473, 9783540896470
Publication statusPublished - 2008
Event6th International Conference on Service-Oriented Computing, ICSOC 2008 - Sydney, Australia
Duration: 1 Dec 20085 Dec 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5364 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Other6th International Conference on Service-Oriented Computing, ICSOC 2008


Dive into the research topics of 'Authorization policy based business collaboration reliability verification'. Together they form a unique fingerprint.

Cite this