Queen's University (Canada).;
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:基于彩色Petri网模型的密码协议攻击轨迹生成
机译:一种彩色培养网方法与网络协议安全分析库
机译:使用有色Petri网的加密协议的计算机分析
机译:使用彩色Petri网规范对加密协议进行自动安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:带有彩色Petri网的嵌入式系统的规格和性能分析
机译:是什么使密码协议安全。正式密码协议分析中需求规范的演变