Enforcement of separation of duty constraints in attribute-based access control von Yang, Benyuan

Volltext

Event Circular Waits and Their Analysis via Petri Nets von Fan, Xing, Yang, Benyuan, Hu, Hesuan

Volltext

Analysis of Authorization Constraints via Integer Linear Programming von Yang, Benyuan, Hu, Hesuan

Volltext

An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control von Yang, Benyuan, Hu, Hesuan

Volltext

Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator von Yang, Benyuan, Hu, Hesuan

Volltext

Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets von Yang, Benyuan, Hu, Hesuan

Volltext

Dynamic Implementation of Security Requirements in Business Processes von Yang, Benyuan, Hu, Hesuan

Volltext

Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance von Yang, Benyuan, Hu, Hesuan

Volltext

Delegation Security Analysis in Workflow Systems von Yang, Benyuan, Hu, Hesuan

Volltext

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets von Yang, Benyuan, Hu, Hesuan

Volltext

On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems von Yang, Benyuan, Hu, Hesuan

Volltext

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming von Yang, Benyuan, Hu, Hesuan

Volltext

Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources von Yang, Benyuan, Hu, Hesuan

Volltext

Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach von Yang, Benyuan, Hu, Hesuan

Volltext

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation von Yang, Benyuan, Hu, Hesuan

Volltext

Ensuring secure interoperation of access control in a multidomain environment von Yang, Benyuan, Luo, Lili, Wang, Zhimeng

Volltext

Model checking of timed compatibility for mediation-aided web service composition: A three stage approach von Du, Yanhua, Yang, Benyuan, Hu, Hesuan

Volltext

Analyzing Security Requirements in Timed Workflow Processes von Du, Yanhua, Wang, Yang, Yang, Benyuan, Hu, Hesuan

Volltext

Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes von Du, Yanhua, Yang, Benyuan, Hu, Hesuan

Volltext

Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems von Fan, Xing, Hu, Hesuan, Yang, Benyuan, Liu, Yuming, He, Gaoyun

Volltext