Formal security model research based on Petri-net.

Mixia Liu, Qiuyu Zhang, Dongmei Yu, Zhao Hong

Browse the full GRC paper archive.