机译:使用彩色Petri网的电子商务协议建模与分析
Electronic Commerce ProtocolsColored Petri NetsISI ProtocolAccountabilityFairness;
机译:使用彩色Petri网的电子商务协议建模与分析
机译:使用彩色Petri网的电子商务协议建模与分析
机译:彩色培养网的安全协议建模与分析
机译:有色Petri网的电子交易协议通用模型检查方法
机译:使用Petri网络建模器对Internet加密协议进行规范和分析。
机译:SHER:用于无线通信的基于彩色Petri网的随机移动性模型
机译:使用有色Petri网的路由协议动态建模