...
机译:基于彩色Petri网模型的密码协议攻击轨迹生成
College of Computer Science, Inner Mongolia University, Hohhot, China and College of Computer and Information Engineering, Inner Mongolia Agricultural University Hohhot, China;
College of Computer Science, Inner Mongolia University, Hohhot, China;
cryptographic protocol; TMN; CPN; observable;
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:使用彩色Petri网模型为Paxos单法令协议自动生成测试用例
机译:使用彩色Petri网模型的Paxo单一法令协议自动测试案例
机译:使用彩色Petri网对TMN协议进行安全性分析:动态跟踪生成方法和同态性质
机译:使用彩色Petri网规范对加密协议进行自动安全性分析。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:使用彩色Petri网模型的Paxo单一法令协议自动测试案例
机译:基于petri网展开和saT的模型检测中最短违规痕迹的计算