• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
Security protocols  analysis
of improved colored Petri nets
ZHANG Hui,LI Xuwu,ZHAO Yuanli,XIAO Yunchao
J4 . 2013, (7): 60 -63 .