A Novel Multilevel Security Petri Net and its Security Analysis

王小明,赵宗涛,袁崇义
DOI: https://doi.org/10.3969/j.issn.1002-137X.2003.07.007
2003-01-01
Computer Science
Abstract: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.
What problem does this paper attempt to address?