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 secur...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.展开更多
文摘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.