Funder
National Natural Science Foundation of China
Program for New Century Excellent Talents in University
Natural Science Foundation of Shaanxi Province
Fundamental Research Funds for the Central Universities
Ministry of Education - Singapore
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference36 articles.
1. Information leak detection in business process models: theory, application, and tool support;Accorsi;Inf. Syst.,2015
2. Strong non-leak guarantees for workflow models;Accorsi,2011
3. Inductive invariants for noninterference in multi-agent workflows;Müller,2018
4. Dynamic implementation of security requirements in business processes;Yang;IEEE Trans. Dependable Secure Comput.,2022
5. Secure conflicts avoidance in multidomain environments: a distributed approach;Yang;IEEE Trans. Syst. Man Cybern. Syst.,2021