• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
基于模型检测的不可靠环境下电子商务协议分析
马怀磊[1] 郭华[2] 庄雷[1]
计算机工程与科学 . 2007, (10): 82 -84 .