Security-Aware Collaboration Plan Recommendation for Dynamic Multiple Workflow Processes

被引:6
作者
Du, Yanhua [1 ]
Sun, Zijian [1 ]
Hu, Hesuan [2 ]
机构
[1] Univ Sci & Technol Beijing, Sch Mech Engn, Beijing 100083, Peoples R China
[2] Xidian Univ, Sch Electromech Engn, Xian 710071, Shaanxi, Peoples R China
基金
中国国家自然科学基金;
关键词
Security; Collaboration; Costs; Business; Safety; Petri nets; Computational modeling; Dynamic relation; collaboration plan; sprouting graph; security requirement; SPECIFICATION LANGUAGE; CONFORMANCE CHECKING; SERVICE SELECTION; REQUIREMENTS; VERIFICATION; ENVIRONMENTS; ARCHITECTURE; CONSTRAINTS; PATTERNS; DESIGN;
D O I
10.1109/TDSC.2021.3127630
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Currently, recommending collaboration plans of dynamic multiple workflow processes under security requirements or constraints has become a hot topic, as it not only can reduce the risk during execution, but also can avoid enormous financial loss caused by security breaches. However, the existing methods cannot solve the parametric problem caused by dynamic relations of multiple workflow processes or recommend an optimal collaboration plan because of erroneous information. In this article, we propose a new approach to recommend security-aware collaboration plans for multiple workflow processes with dynamic relations. First, we develop three basic computing patterns of dynamic relations and construct a parametric sprouting graph for multiple workflow processes with dynamic relations. Second, we present the procedure of recommending an optimal secure collaboration plan that satisfy security requirements. By comparison with the existing methods via two experiments, our approach not only can solve the parametric problem caused by dynamic relations of multiple workflow processes, but also can recommend an optimal secure collaboration plan under security requirements.
引用
收藏
页码:100 / 113
页数:14
相关论文
共 59 条
[11]   Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes [J].
Du, Yanhua ;
Yang, Benyuan ;
Hu, Hesuan .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (05) :2617-2627
[12]   Analyzing Degree of Parallelism for Concurrent Timed Workflow Processes With Shared Resources [J].
Du, Yanhua ;
Wang, Li ;
Li, Xitong .
IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2017, 64 (01) :42-56
[13]   Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets [J].
Du, Yanhua ;
Tan, Wei ;
Zhou, MengChu .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (02) :594-606
[14]   Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes [J].
Du, YanHua ;
Xiong, PengCheng ;
Fan, YuShun ;
Li, Xitong .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2011, 41 (06) :1166-1181
[15]   Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools [J].
Fionda, Valeria ;
Guzzo, Antonella .
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2020, 32 (05) :898-911
[16]   WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems [J].
Gu, Zonghua ;
Wang, Chao ;
Zhang, Ming ;
Wu, Zhaohui .
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2014, 61 (10) :5652-5661
[17]   An Effective Evolutionary Analysis Scheme for Industrial Software Access Control Models [J].
Han, Zhuobing ;
Li, Xiaohong ;
Xu, Guangquan ;
Xiong, Naixue ;
Merlo, Ettore ;
Stroulia, Eleni .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2020, 16 (02) :1024-1034
[18]   Meeting Cardinality Constraints in Role Mining [J].
Harika, Pullamsetty ;
Nagajyothi, Marreddy ;
John, John C. ;
Sural, Shamik ;
Vaidya, Jaideep ;
Atluri, Vijayalakshmi .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2015, 12 (01) :71-84
[19]   Formulating Cost-Effective Monitoring Strategies for Service-Based Systems [J].
He, Qiang ;
Han, Jun ;
Yang, Yun ;
Jin, Hai ;
Schneider, Jean-Guy ;
Versteeg, Steve .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 40 (05) :461-482
[20]   Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets [J].
Hu, Hesuan ;
Su, Rong ;
Zhou, MengChu ;
Liu, Yang .
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2016, 24 (05) :1610-1622