A Novel Multilevel Security Petri Net and its Security Analysis
一种新的安全Petri网及其多级安全机制分析

Petri Net(PN) is a very important modeling methodology for dynamic concurrent system. Many PN models are available in existing literature,but a little attention has been paid to such a PN that supports multilevel secure policies. In this paper,a novel PN model .named as multilevel secure PN(MLSPN) ,is proposed,and its multilevel security mechanism is analysed formally. MLSPN has of a flexible and strong power to support a dynamic time con. traint.and the security covert channel can also be eleminated. Therefore MLSPN may have practical application in many areas,such as secure workflow development .secure database design,and secure protocol analysis, etc.