基于Petri网的非演绎安全模型的分析与验证
기우Petri망적비연역안전모형적분석여험증
Petri Net-based Analysis and Verification of Non-deducibility Security Model