Benyuan Yang

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 23

Top Topics

Service Composition

Manufacturing Systems

Top Venues

IEEE Trans Autom. Sci. Eng.

IEEE Trans. Syst. Man Cybern. Syst.

IEEE Trans. Dependable Secur. Comput.

Publications

Benyuan Yang, Hesuan Hu
Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming. IEEE Trans. Syst. Man Cybern. Syst. 54 (7) (2024)
Benyuan Yang, Hesuan Hu
Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator. IEEE Trans. Control. Syst. Technol. 32 (2) (2024)
Benyuan Yang, Hesuan Hu
Delegation Security Analysis in Workflow Systems. IEEE Trans. Dependable Secur. Comput. 21 (1) (2024)
Benyuan Yang, Hesuan Hu
An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control. IEEE Trans. Knowl. Data Eng. 36 (9) (2024)
Benyuan Yang, Lili Luo, Zhimeng Wang
Ensuring secure interoperation of access control in a multidomain environment. Comput. Secur. 137 (2024)
Benyuan Yang, Hesuan Hu
Analysis of Authorization Constraints via Integer Linear Programming. IEEE Trans. Knowl. Data Eng. 35 (3) (2023)
Xing Fan, Hesuan Hu, Benyuan Yang, Yuming Liu, Gaoyun He
Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 20 (1) (2023)
Benyuan Yang
Enforcement of separation of duty constraints in attribute-based access control. Comput. Secur. 131 (2023)
Benyuan Yang, Hesuan Hu
Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets. IEEE Trans Autom. Sci. Eng. 20 (2) (2023)
Benyuan Yang, Hesuan Hu
Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. 53 (6) (2023)
Yanhua Du, Yang Wang, Benyuan Yang, Hesuan Hu
Analyzing Security Requirements in Timed Workflow Processes. IEEE Trans. Dependable Secur. Comput. 19 (1) (2022)
Benyuan Yang, Hesuan Hu
Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance. IEEE Trans Autom. Sci. Eng. 19 (4) (2022)
Benyuan Yang, Hesuan Hu
Dynamic Implementation of Security Requirements in Business Processes. IEEE Trans. Dependable Secur. Comput. 19 (2) (2022)
Benyuan Yang, Hesuan Hu
Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets. IEEE Trans Autom. Sci. Eng. 19 (4) (2022)
Benyuan Yang, Hesuan Hu
Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation. IEEE Trans. Syst. Man Cybern. Syst. 51 (8) (2021)
Benyuan Yang, Hesuan Hu
Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach. IEEE Trans. Syst. Man Cybern. Syst. 51 (9) (2021)
Xing Fan, Benyuan Yang, Hesuan Hu
Event Circular Waits and Their Analysis via Petri Nets. IEEE Access 9 (2021)
Yanhua Du, Benyuan Yang, Hesuan Hu
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes. IEEE Trans. Ind. Informatics 15 (5) (2019)
Yanhua Du, Ze Yu, Benyuan Yang, Yang Wang
Modeling and simulation of time and value throughputs of data-aware workflow processes. J. Intell. Manuf. 30 (6) (2019)
Yanhua Du, Benyuan Yang, Hesuan Hu
Model checking of timed compatibility for mediation-aided web service composition: A three stage approach. Expert Syst. Appl. 112 (2018)
Yanhua Du, Ruyue Li, Benyuan Yang
A sprouting graph-based approach to analysing timed workflow processes with shared resources. Int. J. High Perform. Comput. Netw. 10 (4/5) (2017)
Yanhua Du, Ze Yu, Benyuan Yang, Yang Wang
Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network. iThings/GreenCom/CPSCom/SmartData (2016)
Yanhua Du, Benyuan Yang, Wei Tan
A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services. ICWS (2015)