Using Petri Nets to Verify Security Policies in Mandatory Access Control Model.

Yixin Jiang, Chuang Lin, Zhen Chen, Hao Yin

Browse the full IRI paper archive.