• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
改进型有色Petri网的安全协议分析
张卉,李续武,赵媛莉,校云超
Security protocols  analysis
of improved colored Petri nets
ZHANG Hui,LI Xuwu,ZHAO Yuanli,XIAO Yunchao
计算机工程与科学 . 2013, (7): 60 -63 .