| 自主存取控制的Petri网建模和分析 |
| |
| 引用本文： | 唐冶文,余巍.自主存取控制的Petri网建模和分析[J].上海交通大学学报,1997,31(8):66-70. |
| |
| 作者姓名： | 唐冶文 余巍 |
| |
| 作者单位： | 上海交通大学金桥网络中心 |
| |
| 摘 要： | 对计算机系统安全中的自主存取控制Ｔａｋｅ－Ｇｒａｎｔ模型提出了一种有色Ｐｅｔｒｉ网表达，并用可达性树技术对ｃａｎ；ｓｈａｒｅ问题提供了一个更为简明实用的解答。文中用一个实际的信息处理系统为例，演示了所提出的方法。
|
| 关 键 词： | Petri网 计算机系统 自主存取控制 安全性 |
Modeling and Verifying Discretionary Access Control by Colored Petri Net |
| |
| Tang Yewen,Yu Wei,Bai Yingcai.Modeling and Verifying Discretionary Access Control by Colored Petri Net[J].Journal of Shanghai Jiaotong University,1997,31(8):66-70. |
| |
| Authors: | Tang Yewen Yu Wei Bai Yingcai |
| |
| Abstract: | Discretionary access control(DAC)is a practical issue in study on general system security.In this paper a capability based Take Grant model is interpreted as a colored Petri net. So reachability tree technique can be used to analyze and verify some security properties in computer systems. A data process system is introduced as an example to demonstrate how it does. Finally,a solution for can share predicate is presented on the basis of the Petri net model described above. |
| |
| Keywords: | Take Grant model Petri net reachability tree |
| 本文献已被 CNKI 维普 等数据库收录！ |
