Modeling and Verifying Discretionary Access Control by Colored Petri Net

• 自主存取控制的 Petri 网建模和分析