Modeling and Verifying Discretionary Access Control by Colored Petri Net

 
  • 自主存取控制的 Petri 网建模和分析
今日热词
目录 附录 查词历史