Formal Methods; Formal methods for Cryptographic Protocols; Model Checking; Network Security;
机译:具有同态性质的TMN协议安全性分析的实时跟踪生成方法:基于Petri网的方法
机译:具有同态性质的TMN协议安全性分析的实时跟踪生成方法:基于Petri网的方法
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:使用彩色培养网的TMN协议的安全性分析:在飞行痕量发电方法和同型性能
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:基于彩色Petri网的安全认证协议安全性分析
机译:利用影响图和有色petri网进行军事信息作战分析