A verification mechanism for secured message processing in business collaboration

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

*Corresponding author for this work

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

2 Citations (Scopus)

Abstract

Message processing can become unsecured resulting in unreliable business collaboration in terms of authorization policy conflicts, for example, when (1) incorrect role assignment or modification occurs in a partner's services or (2) messages transferred from one organization are processed by unqualified roles in other collaborating business participants. Therefore, verification mechanism based on access policies is critical for managing secured message processing in business collaboration. In this paper, we exploit a role authorization model, Role-Net, which is developed based on Hierarchical Colored Petri Nets (HCPNs) to specify and manage role authorization in business collaboration. A property named Role Authorization Based Dead Marking Freeness is defined based on Role-Net to verify business collaboration reliability according to partners' authorization policies. An algebraic verification method for secured message processing is introduced as well.

Original languageEnglish
Title of host publicationAdvances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings
Place of PublicationBerlin, Germany
PublisherSpringer, Springer Nature
Pages480-491
Number of pages12
Volume5446
ISBN (Print)9783642006715
DOIs
Publication statusPublished - 2009
EventJoint International Conference on Advances in Data and Web Management, APWeb/WAIM 2009 - Suzhou, China
Duration: 2 Apr 20094 Apr 2009

Publication series

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

Other

OtherJoint International Conference on Advances in Data and Web Management, APWeb/WAIM 2009
CountryChina
CitySuzhou
Period2/04/094/04/09

Keywords

  • Hierarchical colored petri net
  • Reliability verification
  • Role authorization
  • Secured message processing

Fingerprint

Dive into the research topics of 'A verification mechanism for secured message processing in business collaboration'. Together they form a unique fingerprint.

Cite this