Petri Net(PN) is a very important modeling methodology for dynamic concurrent system. Many PN modelsare available in existing literature,but a little attention has been paid to such a PN that supports multilevel securepolicies. In this paper,a novel PN model ,named as multilevel secure PN (MLSPN),is proposed ,and its multilevel se-curity 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 inmany areas ,such as secure workflow development ,secure database design,and secure protocol analysis ,etc.
展开▼
