一种新的安全Petri网及其多级安全机制分析

doi:10.3969/j.issn.1002-137X.2003.07.007

CORC > 北京大学 > 信息科学技术学院

	一种新的安全Petri网及其多级安全机制分析; A Novel Multilevel Security Petri Net and its Security Analysis
	王小明 ; 赵宗涛 ; 袁崇义
刊名	计算机科学
	2003
关键词	Mutilevel security policies MLSPN Token flow Token flow channel Security covert channel Mutilevel security policies MLSPN Token flow Token flow channel Security covert channel
DOI	10.3969/j.issn.1002-137X.2003.07.007
英文摘要	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.; 国家自然科学基金; 陕西师范大学校科研和教改项目; 中文核心期刊要目总览(PKU); 中国科学引文数据库(CSCD); 0; 7; 22-25; 30
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/235064]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	王小明,赵宗涛,袁崇义. 一种新的安全Petri网及其多级安全机制分析, A Novel Multilevel Security Petri Net and its Security Analysis[J]. 计算机科学,2003.
APA	王小明,赵宗涛,&袁崇义.(2003).一种新的安全Petri网及其多级安全机制分析.计算机科学.
MLA	王小明,et al."一种新的安全Petri网及其多级安全机制分析".计算机科学 (2003).