...
机译:在TRBAC安全政策的正式研究中使用等级彩色培养网
Biskra Univ LINFI Lab Biskra Algeria;
Biskra Univ LINFI Lab Biskra Algeria;
Batna 2 Univ LINFI Lab Batna Algeria;
Biskra Univ LINFI Lab Biskra Algeria;
Security policy; RBAC model; TRBAC model; Coloured Petri Nets; Hierarchical Timed Coloured Petri Nets; Formal verification; CPN-tool;
机译:在TRBAC安全政策的正式研究中使用等级彩色培养网
机译:使用定时有色Petri网的基于形式模型的定量安全性分析
机译:WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
机译:使用定时彩色Petri网和CPN-Tool来模拟和验证TBAC安全政策
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:使用定时彩色Petri网和CPN-Tool来模拟和验证TBAC安全政策
机译:定时着色petri网及其在物流中的应用