...
机译:使用彩色Petri网的电子商务协议建模与分析
School of Computer, Wuhan University, Wuhan, China Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China;
Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China;
School of Computer, Wuhan University, Wuhan, China;
electronic commerce protocols; colored petri nets; ISI protocol; accountability; fairness;
机译:使用彩色Petri网的电子商务协议建模与分析
机译:使用彩色Petri网的电子商务协议建模与分析
机译:彩色培养网的安全协议建模与分析
机译:有色Petri网的电子交易协议通用模型检查方法
机译:使用Petri网络建模器对Internet加密协议进行规范和分析。
机译:SHER:用于无线通信的基于彩色Petri网的随机移动性模型
机译:使用有色Petri网的路由协议动态建模