A verification mechanism for secured message processing in business collaboration

Haiyang Sun; Jian Yang; Xin Wang; Yanchun Zhang

doi:10.1007/978-3-642-00672-2-42

A verification mechanism for secured message processing in business collaboration

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

^*Corresponding author for this work

Department of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution

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 language	English
Title of host publication	Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings
Place of Publication	Berlin, Germany
Publisher	Springer, Springer Nature
Pages	480-491
Number of pages	12
Volume	5446
ISBN (Print)	9783642006715
DOIs	https://doi.org/10.1007/978-3-642-00672-2-42
Publication status	Published - 2009
Event	Joint International Conference on Advances in Data and Web Management, APWeb/WAIM 2009 - Suzhou, China Duration: 2 Apr 2009 → 4 Apr 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5446
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	Joint International Conference on Advances in Data and Web Management, APWeb/WAIM 2009
Country	China
City	Suzhou
Period	2/04/09 → 4/04/09

Keywords

Hierarchical colored petri net
Reliability verification
Role authorization
Secured message processing

Access to Document

10.1007/978-3-642-00672-2-42

Link to publication in Scopus

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

Sun, H., Yang, J., Wang, X., & Zhang, Y. (2009). A verification mechanism for secured message processing in business collaboration. In Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings (Vol. 5446, pp. 480-491). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5446). Berlin, Germany: Springer, Springer Nature. https://doi.org/10.1007/978-3-642-00672-2-42

Sun, Haiyang ; Yang, Jian ; Wang, Xin ; Zhang, Yanchun. / A verification mechanism for secured message processing in business collaboration. Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings. Vol. 5446 Berlin, Germany : Springer, Springer Nature, 2009. pp. 480-491 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{bb94e8d475804458ac6dfeca1c367806,

title = "A verification mechanism for secured message processing in business collaboration",

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.",

keywords = "Hierarchical colored petri net, Reliability verification, Role authorization, Secured message processing",

author = "Haiyang Sun and Jian Yang and Xin Wang and Yanchun Zhang",

year = "2009",

doi = "10.1007/978-3-642-00672-2-42",

language = "English",

isbn = "9783642006715",

volume = "5446",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "480--491",

booktitle = "Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings",

address = "United States",

}

Sun, H, Yang, J, Wang, X & Zhang, Y 2009, A verification mechanism for secured message processing in business collaboration. in Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings. vol. 5446, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5446, Springer, Springer Nature, Berlin, Germany, pp. 480-491, Joint International Conference on Advances in Data and Web Management, APWeb/WAIM 2009, Suzhou, China, 2/04/09. https://doi.org/10.1007/978-3-642-00672-2-42

A verification mechanism for secured message processing in business collaboration. / Sun, Haiyang; Yang, Jian; Wang, Xin; Zhang, Yanchun.

Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings. Vol. 5446 Berlin, Germany : Springer, Springer Nature, 2009. p. 480-491 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5446).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution

TY - GEN

T1 - A verification mechanism for secured message processing in business collaboration

AU - Sun, Haiyang

AU - Yang, Jian

AU - Wang, Xin

AU - Zhang, Yanchun

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Hierarchical colored petri net

KW - Reliability verification

KW - Role authorization

KW - Secured message processing

UR - http://www.scopus.com/inward/record.url?scp=67649993231&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-00672-2-42

DO - 10.1007/978-3-642-00672-2-42

M3 - Conference proceeding contribution

SN - 9783642006715

VL - 5446

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 480

EP - 491

BT - Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings

PB - Springer, Springer Nature

CY - Berlin, Germany

ER -

Sun H, Yang J, Wang X, Zhang Y. A verification mechanism for secured message processing in business collaboration. In Advances in Data and Web Management - Joint International Conferences, APWeb/WAIM 2009, Proceedings. Vol. 5446. Berlin, Germany: Springer, Springer Nature. 2009. p. 480-491. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-00672-2-42