Inductive Method for Evaluating RFID Security Protocols.
Wirel. Commun. Mob. Comput., 2019
基于Seal演算的分布式系统安全模型 (Security Model for Distributed System Based on Seal Calculus).
计算机科学, 2015
Research on Virtual Network Mapping Algorithm with Path Splitting Based on Sort Preprocessing.
J. Comput., 2013