|
|||||
|
|
| 一种新的安全Petri网及其多级安全机制分析 | |
| 引用本文： | 王小明 赵宗涛 袁崇义. 一种新的安全Petri网及其多级安全机制分析[J]. 计算机科学, 2003, 30(7): 22-25 |
| 作者姓名： | 王小明 赵宗涛 袁崇义 |
| 作者单位： | 1. 西北大学计算机科学系,西安,710069;陕西师范大学计算机科学学院,西安,710062 2. 西北大学计算机科学系,西安,710069;第二炮兵工程学院计算机科学系,西安,710025 3. 北京大学计算机科学技术系,北京,100871 |
| 基金项目： | 国家自然科学基金(No.69973003,No.9020402)，陕西师范大学重点科研基金(No.2002995105) |
| 摘 要： | 1 引言 Petri网(PN)是一种重要的动态并发系统建模方法,具有因果相关、支持并发、异步和冲突消解等诸多优点,已广泛应用于复杂动态系统建模与仿真验证,例如协议分析、工作流建模、数据库设计等。随着信息安全问题日益突出,迫切需要PN支持多级安全策略的系统建模,使得用PN建立的模型具有良好的多级安全保护机制。但是,现有的PN并不直接支持多级安全系统建模,而且目前对安全PN的研究文献很少。虽然V.Atluri和W.K.Huang等基于着色时间网(CTPN)提出了一种用于多级安全工作流系统建模的安全PN,但他们只考虑了变迁之间的控制安全和时间安全约束, |
| 关 键 词： | Petri网 多级安全机制 访问控制 信息流 信息安全 系统建模 |
A Novel Multilevel Security Petri Net and its Security Analysis |
|
| WANG Xiao-Ming ZHAO Zong-Tao YUAN Chong-Yi. A Novel Multilevel Security Petri Net and its Security Analysis[J]. Computer Science, 2003, 30(7): 22-25 | |
| Authors: | WANG Xiao-Ming ZHAO Zong-Tao YUAN Chong-Yi |
| Abstract: | 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. |
| Keywords: | Mutilevel security policies MLSPN Token flow Token flow channel Security covert channel |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |