2019
Inductive Method for Evaluating RFID Security Protocols.
Wirel. Commun. Mob. Comput., 2019

2015
基于Seal演算的分布式系统安全模型 (Security Model for Distributed System Based on Seal Calculus).
计算机科学, 2015

2013
Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort Preprocessing.
J. Comput., 2013