Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data

Hanqian Tu, Dongming Xiang, Liang Qi 0001, GuanJun Liu. Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data. Computers and Artificial Intelligence, 44(4):915-932, 2025. [doi]

Abstract

Abstract is missing.