• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
一种增强电子商务协议安全性的形式化分析方法
杨 捷 , 毋 国庆 , 左保 河 , 齐德昱
计算机工程与科学 . 2009, (9): 13 -16 .