论文部分内容阅读
介绍了用Petri网描述获取授予系统的PTGS模型的方法,并利用PTGS模型探讨保护系统中访问权利泄漏或被窃取的问题.利用PTG-路径、'桥'、'岛屿'等概念形式地解决了该问题.虽然已经有人利用有向图的TGS模型解决过这一问题,但是利用Petri网技术研究该问题是一种新方法,而且更加直观.同时本文也对用Petri网模型研究信息安全问题做了有益探索.