Analyzing Security Requirements in Timed Workflow Processes

Yanhua Du, Yang Wang, Benyuan Yang, HeSuan Hu. Analyzing Security Requirements in Timed Workflow Processes. IEEE Trans. Dependable Sec. Comput., 19(1):190-207, 2022. [doi]

Abstract

Abstract is missing.