Return to Article Details Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data Download Download PDF