%0 Journal Article
%T A Novel Multilevel Security Petri Net and its Security Analysis<br>一种新的安全Petri网及其多级安全机制分析
%A WANG Xiao-Ming ZHAO Zong-Tao YUAN Chong-Yi
%A <br>王小明
%A 赵宗涛
%A 袁崇义
%J 计算机科学
%D 2003
%I 
%X 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.
%K Mutilevel security policies
%K MLSPN
%K Token flow
%K Token flow channel
%K Security covert channel<br>Petri网
%K 多级安全机制
%K 访问控制
%K 信息流
%K 信息安全
%K 系统建模
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=36411AE7B983BA46&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=DF92D298D3FF1E6E&sid=BC12EA701C895178&eid=C5154311167311FE&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12