• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
运用SPIN对开放授权协议OAuth 2.0的分析与验证
程道雷,肖美华,刘欣倩,梅映天,李伟
Analyzing and verifying an open authorization
protocol OAuth 2.0 with SPIN 
CHENG Daolei,XIAO Meihua,LIU Xinqian,MEI Yingtian,LI Wei
计算机工程与科学 . 2015, (11): 2121 -2127 .