| Petri网在保护系统安全性分析中的应用 |
| |
| 引用本文： | 肖军模.Petri网在保护系统安全性分析中的应用[J].东南大学学报(自然科学版),2003,33(6):694-698. |
| |
| 作者姓名： | 肖军模 |
| |
| 作者单位： | 解放军理工大学通信工程学院,南京,210007 |
| |
| 基金项目： | 国家自然科学基金重点资助项目 ( 6993 10 40 ) |
| |
| 摘 要： | 介绍了用Petri网描述获取一授予系统的PTGS模型的方法,并利用PTGS模型探讨保护系统中访问权利泄漏或被窃取的问题。利用PTG-路径、“桥”、“岛屿”等概念形式地解决了该问题,虽然已经有人利用有向图的TGS模型解决过这一问题,但是利用Petri网技术研究该问题是一种新方法,而且更加直观,同时本文也对用Petri网模型研究信息安全问题做了有益探索。
|
| 关 键 词： | 获取-授予系统 权利转移 权利泄漏 TGS PTGS PTG-路径 |
| 文章编号： | 1001-0505(2003)06-0694-05 |
Security problems of protection systems with the Petri net |
| |
| Xiao Junmo.Security problems of protection systems with the Petri net[J].Journal of Southeast University(Natural Science Edition),2003,33(6):694-698. |
| |
| Authors: | Xiao Junmo |
| |
| Abstract: | A method describing Take Grant system using the Petri net, which is called PTGS (Petri Taken Grant System) model, is introduced, and applied to the problem of leaking access rights using PTGS. This problem is formally solved by using the concepts of PTG path, "bridge" and "island". Although this problem is solved by using a TGS based directed arrow diagram, the research of this problem using a Petri net is new method and more direct. At the same time, a useful approach to the problems about information security using Petri net models is also presented. |
| |
| Keywords: | Grant Take system rights transfer rights leaking TGS PTGS PTG path |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
