Benyuan Yang

According to our database, Benyuan Yang authored at least 23 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control.

Benyuan Yang, Hesuan Hu

IEEE Trans. Knowl. Data Eng., September, 2024

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming.

Benyuan Yang, Hesuan Hu

IEEE Trans. Syst. Man Cybern. Syst., July, 2024

Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator.

Benyuan Yang, Hesuan Hu

IEEE Trans. Control. Syst. Technol., March, 2024

Ensuring secure interoperation of access control in a multidomain environment.

Benyuan Yang, Lili Luo, Zhimeng Wang

Comput. Secur., February, 2024

Delegation Security Analysis in Workflow Systems.

Benyuan Yang, Hesuan Hu

IEEE Trans. Dependable Secur. Comput., 2024

2023

Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources.

Benyuan Yang, Hesuan Hu

IEEE Trans. Syst. Man Cybern. Syst., June, 2023

Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets.

Benyuan Yang, Hesuan Hu

IEEE Trans Autom. Sci. Eng., April, 2023

Analysis of Authorization Constraints via Integer Linear Programming.

Benyuan Yang, Hesuan Hu

IEEE Trans. Knowl. Data Eng., March, 2023

Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems.

Xing Fan, Hesuan Hu, Benyuan Yang, Yuming Liu, Gaoyun He

IEEE Trans Autom. Sci. Eng., 2023

Enforcement of separation of duty constraints in attribute-based access control.

Benyuan Yang

Comput. Secur., 2023

2022

Dynamic Implementation of Security Requirements in Business Processes.

Benyuan Yang, Hesuan Hu

IEEE Trans. Dependable Secur. Comput., 2022

Analyzing Security Requirements in Timed Workflow Processes.

Yanhua Du, Yang Wang, Benyuan Yang, Hesuan Hu

IEEE Trans. Dependable Secur. Comput., 2022

Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance.

Benyuan Yang, Hesuan Hu

IEEE Trans Autom. Sci. Eng., 2022

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets.

Benyuan Yang, Hesuan Hu

IEEE Trans Autom. Sci. Eng., 2022

2021

Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach.

Benyuan Yang, Hesuan Hu

IEEE Trans. Syst. Man Cybern. Syst., 2021

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation.

Benyuan Yang, Hesuan Hu

IEEE Trans. Syst. Man Cybern. Syst., 2021

Event Circular Waits and Their Analysis via Petri Nets.

Xing Fan, Benyuan Yang, Hesuan Hu

IEEE Access, 2021

2019

Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes.

Yanhua Du, Benyuan Yang, Hesuan Hu

IEEE Trans. Ind. Informatics, 2019

Modeling and simulation of time and value throughputs of data-aware workflow processes.

Yanhua Du, Ze Yu, Benyuan Yang, Yang Wang

J. Intell. Manuf., 2019

2018

Model checking of timed compatibility for mediation-aided web service composition: A three stage approach.

Yanhua Du, Benyuan Yang, Hesuan Hu

Expert Syst. Appl., 2018

2017

A sprouting graph-based approach to analysing timed workflow processes with shared resources.

Yanhua Du, Ruyue Li, Benyuan Yang

Int. J. High Perform. Comput. Netw., 2017

2016

Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network.

Yanhua Du, Ze Yu, Benyuan Yang, Yang Wang

Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

2015

A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.

Yanhua Du, Benyuan Yang, Wei Tan

Proceedings of the 2015 IEEE International Conference on Web Services, 2015